YES 5.165 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:



↳ HASKELL
  ↳ CR

mainModule Main
  (((<) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Case Reductions:
The following Case expression
case compare x y of
 EQ → o
 LT → LT
 GT → GT

is transformed to
primCompAux0 o EQ = o
primCompAux0 o LT = LT
primCompAux0 o GT = GT



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR

mainModule Main
  (((<) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


If Reductions:
The following If expression
if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero

is transformed to
primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y))
primDivNatS0 x y False = Zero

The following If expression
if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x

is transformed to
primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y)
primModNatS0 x y False = Succ x



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR

mainModule Main
  (((<) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR

mainModule Main
  (((<) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Cond Reductions:
The following Function with conditions
compare x y
 | x == y
 = EQ
 | x <= y
 = LT
 | otherwise
 = GT

is transformed to
compare x y = compare3 x y

compare1 x y True = LT
compare1 x y False = compare0 x y otherwise

compare2 x y True = EQ
compare2 x y False = compare1 x y (x <= y)

compare0 x y True = GT

compare3 x y = compare2 x y (x == y)

The following Function with conditions
gcd' x 0 = x
gcd' x y = gcd' y (x `rem` y)

is transformed to
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu

gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

The following Function with conditions
gcd 0 0 = error []
gcd x y = 
gcd' (abs x) (abs y)
where 
gcd' x 0 = x
gcd' x y = gcd' y (x `rem` y)

is transformed to
gcd vux vuy = gcd3 vux vuy
gcd x y = gcd0 x y

gcd0 x y = 
gcd' (abs x) (abs y)
where 
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y
gcd'0 x y = gcd' y (x `rem` y)
gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu
gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

gcd1 True vux vuy = error []
gcd1 vuz vvu vvv = gcd0 vvu vvv

gcd2 True vux vuy = gcd1 (vuy == 0) vux vuy
gcd2 vvw vvx vvy = gcd0 vvx vvy

gcd3 vux vuy = gcd2 (vux == 0) vux vuy
gcd3 vvz vwu = gcd0 vvz vwu

The following Function with conditions
absReal x
 | x >= 0
 = x
 | otherwise
 = `negate` x

is transformed to
absReal x = absReal2 x

absReal1 x True = x
absReal1 x False = absReal0 x otherwise

absReal0 x True = `negate` x

absReal2 x = absReal1 x (x >= 0)

The following Function with conditions
undefined 
 | False
 = undefined

is transformed to
undefined  = undefined1

undefined0 True = undefined

undefined1  = undefined0 False

The following Function with conditions
reduce x y
 | y == 0
 = error []
 | otherwise
 = x `quot` d :% (y `quot` d)
where 
d  = gcd x y

is transformed to
reduce x y = reduce2 x y

reduce2 x y = 
reduce1 x y (y == 0)
where 
d  = gcd x y
reduce0 x y True = x `quot` d :% (y `quot` d)
reduce1 x y True = error []
reduce1 x y False = reduce0 x y otherwise



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed

mainModule Main
  (((<) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Let/Where Reductions:
The bindings of the following Let/Where expression
reduce1 x y (y == 0)
where 
d  = gcd x y
reduce0 x y True = x `quot` d :% (y `quot` d)
reduce1 x y True = error []
reduce1 x y False = reduce0 x y otherwise

are unpacked to the following functions on top level
reduce2D vwv vww = gcd vwv vww

reduce2Reduce1 vwv vww x y True = error []
reduce2Reduce1 vwv vww x y False = reduce2Reduce0 vwv vww x y otherwise

reduce2Reduce0 vwv vww x y True = x `quot` reduce2D vwv vww :% (y `quot` reduce2D vwv vww)

The bindings of the following Let/Where expression
gcd' (abs x) (abs y)
where 
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y
gcd'0 x y = gcd' y (x `rem` y)
gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu
gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

are unpacked to the following functions on top level
gcd0Gcd'1 True x zx = x
gcd0Gcd'1 zy zz vuu = gcd0Gcd'0 zz vuu

gcd0Gcd' x zx = gcd0Gcd'2 x zx
gcd0Gcd' x y = gcd0Gcd'0 x y

gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y)

gcd0Gcd'2 x zx = gcd0Gcd'1 (zx == 0) x zx
gcd0Gcd'2 vuv vuw = gcd0Gcd'0 vuv vuw



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed

mainModule Main
  (((<) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow

mainModule Main
  ((<) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Haskell To QDPs


↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(vwx15400), Succ(vwx401000)) → new_primPlusNat(vwx15400, vwx401000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vwx30000), Succ(vwx40100)) → new_primMulNat(vwx30000, Succ(vwx40100))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primEqNat(Succ(vwx30000), Succ(vwx40000)) → new_primEqNat(vwx30000, vwx40000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primCmpNat(Succ(vwx3000), Succ(vwx4000)) → new_primCmpNat(vwx3000, vwx4000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_esEs3(Just(vwx3000), Just(vwx4000), app(app(ty_@2, bde), bdf)) → new_esEs0(vwx3000, vwx4000, bde, bdf)
new_esEs2(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(app(ty_@2, bcc), bcd)) → new_esEs0(vwx3000, vwx4000, bcc, bcd)
new_esEs2(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(ty_Maybe, bda)) → new_esEs3(vwx3000, vwx4000, bda)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, app(app(app(ty_@3, bac), bad), bae), gf) → new_esEs1(vwx3001, vwx4001, bac, bad, bae)
new_esEs3(Just(vwx3000), Just(vwx4000), app(ty_[], beb)) → new_esEs2(vwx3000, vwx4000, beb)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(ty_Maybe, de)) → new_esEs3(vwx3000, vwx4000, de)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, app(ty_Maybe, bag), gf) → new_esEs3(vwx3001, vwx4001, bag)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), eh, app(app(app(ty_@3, ff), fg), fh)) → new_esEs1(vwx3001, vwx4001, ff, fg, fh)
new_esEs(Left(vwx3000), Left(vwx4000), app(ty_[], ca), bc) → new_esEs2(vwx3000, vwx4000, ca)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, ge, app(app(app(ty_@3, bbd), bbe), bbf)) → new_esEs1(vwx3002, vwx4002, bbd, bbe, bbf)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, ge, app(ty_[], bbg)) → new_esEs2(vwx3002, vwx4002, bbg)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(app(ty_@2, cf), cg)) → new_esEs0(vwx3000, vwx4000, cf, cg)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, ge, app(app(ty_@2, bbb), bbc)) → new_esEs0(vwx3002, vwx4002, bbb, bbc)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(app(ty_Either, df), dg), dh) → new_esEs(vwx3000, vwx4000, df, dg)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(app(ty_@2, gg), gh), ge, gf) → new_esEs0(vwx3000, vwx4000, gg, gh)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), eh, app(app(ty_Either, fa), fb)) → new_esEs(vwx3001, vwx4001, fa, fb)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, app(ty_[], baf), gf) → new_esEs2(vwx3001, vwx4001, baf)
new_esEs3(Just(vwx3000), Just(vwx4000), app(app(app(ty_@3, bdg), bdh), bea)) → new_esEs1(vwx3000, vwx4000, bdg, bdh, bea)
new_esEs2(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(app(app(ty_@3, bce), bcf), bcg)) → new_esEs1(vwx3000, vwx4000, bce, bcf, bcg)
new_esEs2(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(app(ty_Either, bca), bcb)) → new_esEs(vwx3000, vwx4000, bca, bcb)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(app(app(ty_@3, ha), hb), hc), ge, gf) → new_esEs1(vwx3000, vwx4000, ha, hb, hc)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(ty_[], dd)) → new_esEs2(vwx3000, vwx4000, dd)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(app(app(ty_@3, da), db), dc)) → new_esEs1(vwx3000, vwx4000, da, db, dc)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(app(ty_Either, cd), ce)) → new_esEs(vwx3000, vwx4000, cd, ce)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, ge, app(ty_Maybe, bbh)) → new_esEs3(vwx3002, vwx4002, bbh)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), eh, app(ty_Maybe, gb)) → new_esEs3(vwx3001, vwx4001, gb)
new_esEs(Left(vwx3000), Left(vwx4000), app(app(ty_@2, bd), be), bc) → new_esEs0(vwx3000, vwx4000, bd, be)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, ge, app(app(ty_Either, bah), bba)) → new_esEs(vwx3002, vwx4002, bah, bba)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(ty_Maybe, he), ge, gf) → new_esEs3(vwx3000, vwx4000, he)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(ty_Maybe, eg), dh) → new_esEs3(vwx3000, vwx4000, eg)
new_esEs2(:(vwx3000, vwx3001), :(vwx4000, vwx4001), bdb) → new_esEs2(vwx3001, vwx4001, bdb)
new_esEs3(Just(vwx3000), Just(vwx4000), app(ty_Maybe, bec)) → new_esEs3(vwx3000, vwx4000, bec)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, app(app(ty_Either, hg), hh), gf) → new_esEs(vwx3001, vwx4001, hg, hh)
new_esEs(Left(vwx3000), Left(vwx4000), app(ty_Maybe, cb), bc) → new_esEs3(vwx3000, vwx4000, cb)
new_esEs3(Just(vwx3000), Just(vwx4000), app(app(ty_Either, bdc), bdd)) → new_esEs(vwx3000, vwx4000, bdc, bdd)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(app(ty_Either, gc), gd), ge, gf) → new_esEs(vwx3000, vwx4000, gc, gd)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(ty_[], ef), dh) → new_esEs2(vwx3000, vwx4000, ef)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(app(ty_@2, ea), eb), dh) → new_esEs0(vwx3000, vwx4000, ea, eb)
new_esEs2(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(ty_[], bch)) → new_esEs2(vwx3000, vwx4000, bch)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(ty_[], hd), ge, gf) → new_esEs2(vwx3000, vwx4000, hd)
new_esEs(Left(vwx3000), Left(vwx4000), app(app(app(ty_@3, bf), bg), bh), bc) → new_esEs1(vwx3000, vwx4000, bf, bg, bh)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(app(app(ty_@3, ec), ed), ee), dh) → new_esEs1(vwx3000, vwx4000, ec, ed, ee)
new_esEs1(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), hf, app(app(ty_@2, baa), bab), gf) → new_esEs0(vwx3001, vwx4001, baa, bab)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), eh, app(app(ty_@2, fc), fd)) → new_esEs0(vwx3001, vwx4001, fc, fd)
new_esEs(Left(vwx3000), Left(vwx4000), app(app(ty_Either, ba), bb), bc) → new_esEs(vwx3000, vwx4000, ba, bb)
new_esEs0(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), eh, app(ty_[], ga)) → new_esEs2(vwx3001, vwx4001, ga)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_compare2(Left(vwx250), Left(vwx260), False, app(app(ty_Either, app(app(ty_@2, cg), da)), ce), cf) → new_ltEs0(vwx250, vwx260, cg, da)
new_lt2(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_primCompAux(vwx30, vwx40, new_compare0(vwx31, vwx41, ba), ba)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, app(ty_Maybe, ccc), caf) → new_lt1(vwx62, vwx65, ccc)
new_primCompAux(Right(vwx300), Right(vwx400), vwx15, app(app(ty_Either, bb), bc)) → new_compare20(vwx300, vwx400, new_esEs5(vwx300, vwx400, bc), bb, bc)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), gd, app(ty_Maybe, ha)) → new_ltEs1(vwx251, vwx261, ha)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, app(app(app(ty_@3, bgg), bgh), bha), bgd) → new_compare5(vwx74, vwx76, bgg, bgh, bha)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), app(ty_[], fh), fc) → new_lt2(vwx250, vwx260, fh)
new_ltEs(Right(vwx250), Right(vwx260), dg, app(app(ty_Either, dh), ea)) → new_ltEs(vwx250, vwx260, dh, ea)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), gd, app(app(app(ty_@3, hc), hd), he)) → new_ltEs3(vwx251, vwx261, hc, hd, he)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, cae, app(ty_Maybe, cdd)) → new_ltEs1(vwx63, vwx66, cdd)
new_compare2(Right(vwx250), Right(vwx260), False, app(app(ty_Either, dg), app(ty_Maybe, ed)), cf) → new_ltEs1(vwx250, vwx260, ed)
new_compare2(Just(vwx250), Just(vwx260), False, app(ty_Maybe, app(ty_Maybe, bab)), cf) → new_ltEs1(vwx250, vwx260, bab)
new_primCompAux(@2(vwx300, vwx301), @2(vwx400, vwx401), vwx15, app(app(ty_@2, bd), be)) → new_compare21(vwx300, vwx301, vwx400, vwx401, new_asAs(new_esEs6(vwx300, vwx400, bd), new_esEs7(vwx301, vwx401, be)), bd, be)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, app(app(app(ty_@3, bbh), bca), bcb)), bbb), bbc), cf) → new_lt3(vwx250, vwx260, bbh, bca, bcb)
new_compare1(Right(vwx300), Right(vwx400), bb, bc) → new_compare20(vwx300, vwx400, new_esEs5(vwx300, vwx400, bc), bb, bc)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, app(ty_[], ccd), caf) → new_lt2(vwx62, vwx65, ccd)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), bbb), app(app(ty_Either, bde), bdf)), cf) → new_ltEs(vwx252, vwx262, bde, bdf)
new_primCompAux(vwx30, vwx40, vwx15, app(ty_[], bg)) → new_compare(vwx30, vwx40, bg)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, app(ty_Maybe, fg)), fc), cf) → new_lt1(vwx250, vwx260, fg)
new_compare3(@2(vwx300, vwx301), @2(vwx400, vwx401), bd, be) → new_compare21(vwx300, vwx301, vwx400, vwx401, new_asAs(new_esEs6(vwx300, vwx400, bd), new_esEs7(vwx301, vwx401, be)), bd, be)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, app(app(ty_Either, bah), bba)), bbb), bbc), cf) → new_lt(vwx250, vwx260, bah, bba)
new_ltEs1(Just(vwx250), Just(vwx260), app(app(app(ty_@3, bad), bae), baf)) → new_ltEs3(vwx250, vwx260, bad, bae, baf)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, app(app(ty_Either, fa), fb)), fc), cf) → new_lt(vwx250, vwx260, fa, fb)
new_ltEs2(vwx25, vwx26, bag) → new_compare(vwx25, vwx26, bag)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), app(app(ty_@2, bbd), bbe), bbb, bbc) → new_lt0(vwx250, vwx260, bbd, bbe)
new_primCompAux(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), vwx15, app(app(app(ty_@3, bh), ca), cb)) → new_compare23(vwx300, vwx301, vwx302, vwx400, vwx401, vwx402, new_asAs(new_esEs9(vwx300, vwx400, bh), new_asAs(new_esEs10(vwx301, vwx401, ca), new_esEs11(vwx302, vwx402, cb))), bh, ca, cb)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, bbb, app(ty_Maybe, bea)) → new_ltEs1(vwx252, vwx262, bea)
new_compare4(Just(vwx300), Just(vwx400), bf) → new_compare22(vwx300, vwx400, new_esEs8(vwx300, vwx400, bf), bf)
new_compare22(vwx50, vwx51, False, app(app(app(ty_@3, bhh), caa), cab)) → new_ltEs3(vwx50, vwx51, bhh, caa, cab)
new_compare20(vwx32, vwx33, False, cea, app(ty_Maybe, cef)) → new_ltEs1(vwx32, vwx33, cef)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, app(ty_Maybe, cba), cae, caf) → new_lt1(vwx61, vwx64, cba)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, app(ty_[], bbg)), bbb), bbc), cf) → new_lt2(vwx250, vwx260, bbg)
new_compare20(vwx32, vwx33, False, cea, app(app(app(ty_@3, ceh), cfa), cfb)) → new_ltEs3(vwx32, vwx33, ceh, cfa, cfb)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, app(app(app(ty_@3, cce), ccf), ccg), caf) → new_lt3(vwx62, vwx65, cce, ccf, ccg)
new_ltEs1(Just(vwx250), Just(vwx260), app(app(ty_Either, hf), hg)) → new_ltEs(vwx250, vwx260, hf, hg)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), bbb), app(ty_[], beb)), cf) → new_ltEs2(vwx252, vwx262, beb)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, app(app(ty_Either, bef), beg), bgd) → new_compare1(vwx74, vwx76, bef, beg)
new_compare20(vwx32, vwx33, False, cea, app(app(ty_@2, ced), cee)) → new_ltEs0(vwx32, vwx33, ced, cee)
new_compare22(vwx50, vwx51, False, app(app(ty_@2, bhd), bhe)) → new_ltEs0(vwx50, vwx51, bhd, bhe)
new_lt3(vwx74, vwx76, bgg, bgh, bha) → new_compare5(vwx74, vwx76, bgg, bgh, bha)
new_compare22(vwx50, vwx51, False, app(app(ty_Either, bhb), bhc)) → new_ltEs(vwx50, vwx51, bhb, bhc)
new_compare1(Left(vwx300), Left(vwx400), bb, bc) → new_compare2(vwx300, vwx400, new_esEs4(vwx300, vwx400, bb), bb, bc)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, app(ty_Maybe, bch), bbc) → new_lt1(vwx251, vwx261, bch)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, app(ty_[], cbb), cae, caf) → new_lt2(vwx61, vwx64, cbb)
new_primCompAux(Just(vwx300), Just(vwx400), vwx15, app(ty_Maybe, bf)) → new_compare22(vwx300, vwx400, new_esEs8(vwx300, vwx400, bf), bf)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), app(app(app(ty_@3, bdb), bdc), bdd)), bbc), cf) → new_lt3(vwx251, vwx261, bdb, bdc, bdd)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), app(ty_Maybe, bbf), bbb, bbc) → new_lt1(vwx250, vwx260, bbf)
new_ltEs(Left(vwx250), Left(vwx260), app(ty_Maybe, db), ce) → new_ltEs1(vwx250, vwx260, db)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, bfb, app(ty_[], bfh)) → new_ltEs2(vwx75, vwx77, bfh)
new_ltEs(Left(vwx250), Left(vwx260), app(app(app(ty_@3, dd), de), df), ce) → new_ltEs3(vwx250, vwx260, dd, de, df)
new_lt2(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_compare(vwx31, vwx41, ba)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, app(app(app(ty_@3, bdb), bdc), bdd), bbc) → new_lt3(vwx251, vwx261, bdb, bdc, bdd)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, app(app(ty_@2, beh), bfa), bgd) → new_compare3(vwx74, vwx76, beh, bfa)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, gd), app(app(ty_Either, ge), gf)), cf) → new_ltEs(vwx251, vwx261, ge, gf)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, bbb, app(app(ty_@2, bdg), bdh)) → new_ltEs0(vwx252, vwx262, bdg, bdh)
new_ltEs1(Just(vwx250), Just(vwx260), app(ty_[], bac)) → new_ltEs2(vwx250, vwx260, bac)
new_ltEs(Left(vwx250), Left(vwx260), app(ty_[], dc), ce) → new_ltEs2(vwx250, vwx260, dc)
new_ltEs(Right(vwx250), Right(vwx260), dg, app(ty_[], ee)) → new_ltEs2(vwx250, vwx260, ee)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), bbb), app(app(ty_@2, bdg), bdh)), cf) → new_ltEs0(vwx252, vwx262, bdg, bdh)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, app(app(ty_Either, cac), cad), cae, caf) → new_lt(vwx61, vwx64, cac, cad)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), app(ty_Maybe, fg), fc) → new_lt1(vwx250, vwx260, fg)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), app(ty_[], bda)), bbc), cf) → new_lt2(vwx251, vwx261, bda)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, cae, app(app(ty_Either, cch), cda)) → new_ltEs(vwx63, vwx66, cch, cda)
new_compare2(Just(vwx250), Just(vwx260), False, app(ty_Maybe, app(app(ty_Either, hf), hg)), cf) → new_ltEs(vwx250, vwx260, hf, hg)
new_ltEs(Right(vwx250), Right(vwx260), dg, app(ty_Maybe, ed)) → new_ltEs1(vwx250, vwx260, ed)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, bfb, app(app(ty_@2, bfe), bff)) → new_ltEs0(vwx75, vwx77, bfe, bff)
new_compare20(vwx32, vwx33, False, cea, app(app(ty_Either, ceb), cec)) → new_ltEs(vwx32, vwx33, ceb, cec)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), app(app(app(ty_@3, ga), gb), gc), fc) → new_lt3(vwx250, vwx260, ga, gb, gc)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, app(app(app(ty_@3, ga), gb), gc)), fc), cf) → new_lt3(vwx250, vwx260, ga, gb, gc)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), app(app(ty_@2, fd), ff), fc) → new_lt0(vwx250, vwx260, fd, ff)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, bbb, app(app(ty_Either, bde), bdf)) → new_ltEs(vwx252, vwx262, bde, bdf)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, cae, app(app(ty_@2, cdb), cdc)) → new_ltEs0(vwx63, vwx66, cdb, cdc)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, gd), app(ty_Maybe, ha)), cf) → new_ltEs1(vwx251, vwx261, ha)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, app(ty_[], fh)), fc), cf) → new_lt2(vwx250, vwx260, fh)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, app(app(ty_@2, bbd), bbe)), bbb), bbc), cf) → new_lt0(vwx250, vwx260, bbd, bbe)
new_ltEs(Left(vwx250), Left(vwx260), app(app(ty_Either, cc), cd), ce) → new_ltEs(vwx250, vwx260, cc, cd)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, app(app(ty_@2, cca), ccb), caf) → new_lt0(vwx62, vwx65, cca, ccb)
new_compare20(vwx32, vwx33, False, cea, app(ty_[], ceg)) → new_ltEs2(vwx32, vwx33, ceg)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), app(app(ty_Either, fa), fb), fc) → new_lt(vwx250, vwx260, fa, fb)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, app(ty_[], bda), bbc) → new_lt2(vwx251, vwx261, bda)
new_ltEs(Right(vwx250), Right(vwx260), dg, app(app(ty_@2, eb), ec)) → new_ltEs0(vwx250, vwx260, eb, ec)
new_ltEs1(Just(vwx250), Just(vwx260), app(ty_Maybe, bab)) → new_ltEs1(vwx250, vwx260, bab)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), app(ty_[], bbg), bbb, bbc) → new_lt2(vwx250, vwx260, bbg)
new_ltEs(Right(vwx250), Right(vwx260), dg, app(app(app(ty_@3, ef), eg), eh)) → new_ltEs3(vwx250, vwx260, ef, eg, eh)
new_lt(vwx74, vwx76, bef, beg) → new_compare1(vwx74, vwx76, bef, beg)
new_compare2(Right(vwx250), Right(vwx260), False, app(app(ty_Either, dg), app(ty_[], ee)), cf) → new_ltEs2(vwx250, vwx260, ee)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, cae, app(app(app(ty_@3, cdf), cdg), cdh)) → new_ltEs3(vwx63, vwx66, cdf, cdg, cdh)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, bbb, app(ty_[], beb)) → new_ltEs2(vwx252, vwx262, beb)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, app(app(ty_Either, cbg), cbh), caf) → new_lt(vwx62, vwx65, cbg, cbh)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, app(app(ty_@2, fd), ff)), fc), cf) → new_lt0(vwx250, vwx260, fd, ff)
new_compare22(vwx50, vwx51, False, app(ty_[], bhg)) → new_ltEs2(vwx50, vwx51, bhg)
new_compare2(vwx25, vwx26, False, app(ty_[], bag), cf) → new_compare(vwx25, vwx26, bag)
new_compare5(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), bh, ca, cb) → new_compare23(vwx300, vwx301, vwx302, vwx400, vwx401, vwx402, new_asAs(new_esEs9(vwx300, vwx400, bh), new_asAs(new_esEs10(vwx301, vwx401, ca), new_esEs11(vwx302, vwx402, cb))), bh, ca, cb)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), app(app(ty_Either, bah), bba), bbb, bbc) → new_lt(vwx250, vwx260, bah, bba)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, app(app(ty_@2, bcf), bcg), bbc) → new_lt0(vwx251, vwx261, bcf, bcg)
new_compare2(Left(vwx250), Left(vwx260), False, app(app(ty_Either, app(app(app(ty_@3, dd), de), df)), ce), cf) → new_ltEs3(vwx250, vwx260, dd, de, df)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, app(app(ty_Either, bcd), bce), bbc) → new_lt(vwx251, vwx261, bcd, bce)
new_compare2(Right(vwx250), Right(vwx260), False, app(app(ty_Either, dg), app(app(ty_Either, dh), ea)), cf) → new_ltEs(vwx250, vwx260, dh, ea)
new_compare2(Left(vwx250), Left(vwx260), False, app(app(ty_Either, app(app(ty_Either, cc), cd)), ce), cf) → new_ltEs(vwx250, vwx260, cc, cd)
new_compare2(Left(vwx250), Left(vwx260), False, app(app(ty_Either, app(ty_[], dc)), ce), cf) → new_ltEs2(vwx250, vwx260, dc)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), app(ty_Maybe, bch)), bbc), cf) → new_lt1(vwx251, vwx261, bch)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, bfb, app(app(ty_Either, bfc), bfd)) → new_ltEs(vwx75, vwx77, bfc, bfd)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, gd), app(app(app(ty_@3, hc), hd), he)), cf) → new_ltEs3(vwx251, vwx261, hc, hd, he)
new_compare2(Right(vwx250), Right(vwx260), False, app(app(ty_Either, dg), app(app(app(ty_@3, ef), eg), eh)), cf) → new_ltEs3(vwx250, vwx260, ef, eg, eh)
new_compare2(Just(vwx250), Just(vwx260), False, app(ty_Maybe, app(app(app(ty_@3, bad), bae), baf)), cf) → new_ltEs3(vwx250, vwx260, bad, bae, baf)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), gd, app(app(ty_@2, gg), gh)) → new_ltEs0(vwx251, vwx261, gg, gh)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), gd, app(app(ty_Either, ge), gf)) → new_ltEs(vwx251, vwx261, ge, gf)
new_primCompAux(Left(vwx300), Left(vwx400), vwx15, app(app(ty_Either, bb), bc)) → new_compare2(vwx300, vwx400, new_esEs4(vwx300, vwx400, bb), bb, bc)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), bbb), app(ty_Maybe, bea)), cf) → new_ltEs1(vwx252, vwx262, bea)
new_compare2(Right(vwx250), Right(vwx260), False, app(app(ty_Either, dg), app(app(ty_@2, eb), ec)), cf) → new_ltEs0(vwx250, vwx260, eb, ec)
new_compare2(Just(vwx250), Just(vwx260), False, app(ty_Maybe, app(app(ty_@2, hh), baa)), cf) → new_ltEs0(vwx250, vwx260, hh, baa)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), app(app(ty_@2, bcf), bcg)), bbc), cf) → new_lt0(vwx251, vwx261, bcf, bcg)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, gd), app(ty_[], hb)), cf) → new_ltEs2(vwx251, vwx261, hb)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, bbb, app(app(app(ty_@3, bec), bed), bee)) → new_ltEs3(vwx252, vwx262, bec, bed, bee)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, app(ty_[], bgf), bgd) → new_lt2(vwx74, vwx76, bgf)
new_ltEs1(Just(vwx250), Just(vwx260), app(app(ty_@2, hh), baa)) → new_ltEs0(vwx250, vwx260, hh, baa)
new_compare2(@2(vwx250, vwx251), @2(vwx260, vwx261), False, app(app(ty_@2, gd), app(app(ty_@2, gg), gh)), cf) → new_ltEs0(vwx251, vwx261, gg, gh)
new_ltEs3(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), app(app(app(ty_@3, bbh), bca), bcb), bbb, bbc) → new_lt3(vwx250, vwx260, bbh, bca, bcb)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, app(app(ty_@2, cag), cah), cae, caf) → new_lt0(vwx61, vwx64, cag, cah)
new_compare(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_compare(vwx31, vwx41, ba)
new_compare22(vwx50, vwx51, False, app(ty_Maybe, bhf)) → new_ltEs1(vwx50, vwx51, bhf)
new_compare(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_primCompAux(vwx30, vwx40, new_compare0(vwx31, vwx41, ba), ba)
new_lt1(vwx74, vwx76, bge) → new_compare4(vwx74, vwx76, bge)
new_compare2(Left(vwx250), Left(vwx260), False, app(app(ty_Either, app(ty_Maybe, db)), ce), cf) → new_ltEs1(vwx250, vwx260, db)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, app(app(app(ty_@3, cbc), cbd), cbe), cae, caf) → new_lt3(vwx61, vwx64, cbc, cbd, cbe)
new_ltEs0(@2(vwx250, vwx251), @2(vwx260, vwx261), gd, app(ty_[], hb)) → new_ltEs2(vwx251, vwx261, hb)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), app(app(ty_Either, bcd), bce)), bbc), cf) → new_lt(vwx251, vwx261, bcd, bce)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, bcc), bbb), app(app(app(ty_@3, bec), bed), bee)), cf) → new_ltEs3(vwx252, vwx262, bec, bed, bee)
new_compare2(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), False, app(app(app(ty_@3, app(ty_Maybe, bbf)), bbb), bbc), cf) → new_lt1(vwx250, vwx260, bbf)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, bfb, app(app(app(ty_@3, bga), bgb), bgc)) → new_ltEs3(vwx75, vwx77, bga, bgb, bgc)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, bfb, app(ty_Maybe, bfg)) → new_ltEs1(vwx75, vwx77, bfg)
new_compare23(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, cae, app(ty_[], cde)) → new_ltEs2(vwx63, vwx66, cde)
new_compare21(vwx74, vwx75, vwx76, vwx77, False, app(ty_Maybe, bge), bgd) → new_compare4(vwx74, vwx76, bge)
new_lt0(vwx74, vwx76, beh, bfa) → new_compare3(vwx74, vwx76, beh, bfa)
new_ltEs(Left(vwx250), Left(vwx260), app(app(ty_@2, cg), da), ce) → new_ltEs0(vwx250, vwx260, cg, da)
new_compare2(Just(vwx250), Just(vwx260), False, app(ty_Maybe, app(ty_[], bac)), cf) → new_ltEs2(vwx250, vwx260, bac)

The TRS R consists of the following rules:

new_esEs4(vwx300, vwx400, ty_Bool) → new_esEs25(vwx300, vwx400)
new_esEs23(GT, LT) → False
new_esEs23(LT, GT) → False
new_esEs35(vwx3000, vwx4000, ty_Integer) → new_esEs15(vwx3000, vwx4000)
new_ltEs22(vwx252, vwx262, app(ty_Ratio, ffd)) → new_ltEs4(vwx252, vwx262, ffd)
new_esEs32(vwx3000, vwx4000, ty_Char) → new_esEs16(vwx3000, vwx4000)
new_ltEs19(vwx75, vwx77, ty_Integer) → new_ltEs16(vwx75, vwx77)
new_lt15(vwx74, vwx76) → new_esEs23(new_compare16(vwx74, vwx76), LT)
new_ltEs21(vwx50, vwx51, app(app(app(ty_@3, bhh), caa), cab)) → new_ltEs12(vwx50, vwx51, bhh, caa, cab)
new_lt21(vwx250, vwx260, app(ty_Maybe, fg)) → new_lt8(vwx250, vwx260, fg)
new_esEs39(vwx61, vwx64, ty_Float) → new_esEs18(vwx61, vwx64)
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_Integer) → new_ltEs16(vwx250, vwx260)
new_esEs34(vwx3002, vwx4002, app(ty_[], egb)) → new_esEs20(vwx3002, vwx4002, egb)
new_esEs37(vwx251, vwx261, app(app(ty_Either, bcd), bce)) → new_esEs14(vwx251, vwx261, bcd, bce)
new_esEs14(Left(vwx3000), Left(vwx4000), ty_Int, dgf) → new_esEs12(vwx3000, vwx4000)
new_esEs14(Left(vwx3000), Left(vwx4000), ty_Double, dgf) → new_esEs22(vwx3000, vwx4000)
new_esEs35(vwx3000, vwx4000, ty_Double) → new_esEs22(vwx3000, vwx4000)
new_esEs8(vwx300, vwx400, ty_Char) → new_esEs16(vwx300, vwx400)
new_esEs4(vwx300, vwx400, ty_Ordering) → new_esEs23(vwx300, vwx400)
new_esEs7(vwx301, vwx401, ty_Double) → new_esEs22(vwx301, vwx401)
new_ltEs21(vwx50, vwx51, app(ty_Ratio, egg)) → new_ltEs4(vwx50, vwx51, egg)
new_ltEs10(False, True) → True
new_esEs14(Left(vwx3000), Right(vwx4000), dge, dgf) → False
new_esEs14(Right(vwx3000), Left(vwx4000), dge, dgf) → False
new_esEs24(Just(vwx3000), Just(vwx4000), ty_@0) → new_esEs21(vwx3000, vwx4000)
new_compare16(True, True) → EQ
new_lt13(vwx74, vwx76, app(app(ty_@2, beh), bfa)) → new_lt11(vwx74, vwx76, beh, bfa)
new_esEs14(Left(vwx3000), Left(vwx4000), ty_Ordering, dgf) → new_esEs23(vwx3000, vwx4000)
new_lt19(vwx250, vwx260, ty_Integer) → new_lt18(vwx250, vwx260)
new_esEs4(vwx300, vwx400, app(ty_Maybe, dhe)) → new_esEs24(vwx300, vwx400, dhe)
new_ltEs18(vwx25, vwx26, ty_Float) → new_ltEs15(vwx25, vwx26)
new_compare14(vwx30, vwx40, ty_Bool) → new_compare16(vwx30, vwx40)
new_esEs9(vwx300, vwx400, ty_Integer) → new_esEs15(vwx300, vwx400)
new_compare10(vwx104, vwx105, True, cgf, cgg) → LT
new_lt22(vwx61, vwx64, ty_@0) → new_lt17(vwx61, vwx64)
new_esEs33(vwx3001, vwx4001, app(app(ty_@2, eec), eed)) → new_esEs17(vwx3001, vwx4001, eec, eed)
new_esEs35(vwx3000, vwx4000, ty_Bool) → new_esEs25(vwx3000, vwx4000)
new_compare9(Float(vwx300, vwx301), Float(vwx400, vwx401)) → new_compare11(new_sr(vwx300, vwx400), new_sr(vwx301, vwx401))
new_lt20(vwx251, vwx261, app(ty_Ratio, ffc)) → new_lt12(vwx251, vwx261, ffc)
new_ltEs23(vwx251, vwx261, ty_Integer) → new_ltEs16(vwx251, vwx261)
new_ltEs18(vwx25, vwx26, app(ty_Ratio, cfc)) → new_ltEs4(vwx25, vwx26, cfc)
new_esEs7(vwx301, vwx401, app(ty_Maybe, dbe)) → new_esEs24(vwx301, vwx401, dbe)
new_esEs38(vwx250, vwx260, ty_Bool) → new_esEs25(vwx250, vwx260)
new_esEs7(vwx301, vwx401, ty_Integer) → new_esEs15(vwx301, vwx401)
new_primMulNat0(Zero, Zero) → Zero
new_esEs8(vwx300, vwx400, ty_Bool) → new_esEs25(vwx300, vwx400)
new_lt21(vwx250, vwx260, ty_@0) → new_lt17(vwx250, vwx260)
new_esEs11(vwx302, vwx402, ty_Bool) → new_esEs25(vwx302, vwx402)
new_lt20(vwx251, vwx261, ty_Float) → new_lt4(vwx251, vwx261)
new_esEs6(vwx300, vwx400, app(app(ty_@2, ddd), dde)) → new_esEs17(vwx300, vwx400, ddd, dde)
new_esEs14(Left(vwx3000), Left(vwx4000), ty_@0, dgf) → new_esEs21(vwx3000, vwx4000)
new_compare8(LT, GT) → LT
new_compare13(Left(vwx300), Right(vwx400), bb, bc) → LT
new_esEs32(vwx3000, vwx4000, ty_Int) → new_esEs12(vwx3000, vwx4000)
new_esEs30(vwx3000, vwx4000, app(app(ty_Either, eaa), eab)) → new_esEs14(vwx3000, vwx4000, eaa, eab)
new_lt13(vwx74, vwx76, ty_Char) → new_lt9(vwx74, vwx76)
new_esEs32(vwx3000, vwx4000, app(app(ty_Either, ecg), ech)) → new_esEs14(vwx3000, vwx4000, ecg, ech)
new_ltEs18(vwx25, vwx26, ty_Integer) → new_ltEs16(vwx25, vwx26)
new_ltEs24(vwx63, vwx66, app(ty_Maybe, cdd)) → new_ltEs5(vwx63, vwx66, cdd)
new_esEs32(vwx3000, vwx4000, ty_Integer) → new_esEs15(vwx3000, vwx4000)
new_esEs35(vwx3000, vwx4000, app(ty_Ratio, egh)) → new_esEs13(vwx3000, vwx4000, egh)
new_lt20(vwx251, vwx261, ty_Integer) → new_lt18(vwx251, vwx261)
new_ltEs21(vwx50, vwx51, ty_Ordering) → new_ltEs8(vwx50, vwx51)
new_esEs32(vwx3000, vwx4000, app(ty_Maybe, edg)) → new_esEs24(vwx3000, vwx4000, edg)
new_esEs36(vwx250, vwx260, app(app(ty_Either, bah), bba)) → new_esEs14(vwx250, vwx260, bah, bba)
new_ltEs22(vwx252, vwx262, ty_Float) → new_ltEs15(vwx252, vwx262)
new_ltEs5(Just(vwx250), Just(vwx260), ty_Float) → new_ltEs15(vwx250, vwx260)
new_esEs35(vwx3000, vwx4000, ty_Float) → new_esEs18(vwx3000, vwx4000)
new_ltEs18(vwx25, vwx26, ty_Char) → new_ltEs17(vwx25, vwx26)
new_compare14(vwx30, vwx40, ty_Float) → new_compare9(vwx30, vwx40)
new_esEs10(vwx301, vwx401, app(app(ty_Either, chc), chd)) → new_esEs14(vwx301, vwx401, chc, chd)
new_esEs9(vwx300, vwx400, app(ty_Maybe, cge)) → new_esEs24(vwx300, vwx400, cge)
new_lt20(vwx251, vwx261, app(app(ty_@2, bcf), bcg)) → new_lt11(vwx251, vwx261, bcf, bcg)
new_lt23(vwx62, vwx65, app(app(ty_@2, cca), ccb)) → new_lt11(vwx62, vwx65, cca, ccb)
new_lt21(vwx250, vwx260, app(ty_[], fh)) → new_lt16(vwx250, vwx260, fh)
new_esEs40(vwx62, vwx65, ty_Double) → new_esEs22(vwx62, vwx65)
new_esEs33(vwx3001, vwx4001, ty_Integer) → new_esEs15(vwx3001, vwx4001)
new_ltEs14(vwx25, vwx26) → new_fsEs(new_compare12(vwx25, vwx26))
new_ltEs5(Just(vwx250), Just(vwx260), app(ty_Ratio, cha)) → new_ltEs4(vwx250, vwx260, cha)
new_esEs10(vwx301, vwx401, ty_Int) → new_esEs12(vwx301, vwx401)
new_esEs33(vwx3001, vwx4001, app(app(ty_Either, eea), eeb)) → new_esEs14(vwx3001, vwx4001, eea, eeb)
new_esEs9(vwx300, vwx400, ty_Bool) → new_esEs25(vwx300, vwx400)
new_lt13(vwx74, vwx76, ty_Integer) → new_lt18(vwx74, vwx76)
new_esEs10(vwx301, vwx401, ty_Ordering) → new_esEs23(vwx301, vwx401)
new_ltEs22(vwx252, vwx262, ty_@0) → new_ltEs14(vwx252, vwx262)
new_ltEs6(Left(vwx250), Left(vwx260), app(app(ty_Either, cc), cd), ce) → new_ltEs6(vwx250, vwx260, cc, cd)
new_ltEs22(vwx252, vwx262, app(app(ty_Either, bde), bdf)) → new_ltEs6(vwx252, vwx262, bde, bdf)
new_lt13(vwx74, vwx76, app(ty_[], bgf)) → new_lt16(vwx74, vwx76, bgf)
new_esEs31(vwx3001, vwx4001, ty_Ordering) → new_esEs23(vwx3001, vwx4001)
new_compare18(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), bh, ca, cb) → new_compare29(vwx300, vwx301, vwx302, vwx400, vwx401, vwx402, new_asAs(new_esEs9(vwx300, vwx400, bh), new_asAs(new_esEs10(vwx301, vwx401, ca), new_esEs11(vwx302, vwx402, cb))), bh, ca, cb)
new_esEs35(vwx3000, vwx4000, app(app(ty_@2, ehc), ehd)) → new_esEs17(vwx3000, vwx4000, ehc, ehd)
new_ltEs8(EQ, EQ) → True
new_esEs17(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), dgg, dgh) → new_asAs(new_esEs30(vwx3000, vwx4000, dgg), new_esEs31(vwx3001, vwx4001, dgh))
new_compare13(Right(vwx300), Left(vwx400), bb, bc) → GT
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_Int) → new_esEs12(vwx3000, vwx4000)
new_esEs15(Integer(vwx3000), Integer(vwx4000)) → new_primEqInt(vwx3000, vwx4000)
new_esEs6(vwx300, vwx400, ty_Bool) → new_esEs25(vwx300, vwx400)
new_ltEs20(vwx32, vwx33, ty_Integer) → new_ltEs16(vwx32, vwx33)
new_esEs8(vwx300, vwx400, ty_Double) → new_esEs22(vwx300, vwx400)
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_@0) → new_ltEs14(vwx250, vwx260)
new_esEs4(vwx300, vwx400, app(app(app(ty_@3, dha), dhb), dhc)) → new_esEs19(vwx300, vwx400, dha, dhb, dhc)
new_ltEs18(vwx25, vwx26, ty_Bool) → new_ltEs10(vwx25, vwx26)
new_lt13(vwx74, vwx76, app(ty_Maybe, bge)) → new_lt8(vwx74, vwx76, bge)
new_ltEs10(False, False) → True
new_esEs29(vwx74, vwx76, ty_Float) → new_esEs18(vwx74, vwx76)
new_ltEs5(Just(vwx250), Just(vwx260), ty_Double) → new_ltEs13(vwx250, vwx260)
new_esEs40(vwx62, vwx65, ty_Int) → new_esEs12(vwx62, vwx65)
new_esEs38(vwx250, vwx260, app(ty_[], fh)) → new_esEs20(vwx250, vwx260, fh)
new_esEs29(vwx74, vwx76, ty_Integer) → new_esEs15(vwx74, vwx76)
new_esEs6(vwx300, vwx400, app(app(app(ty_@3, ddf), ddg), ddh)) → new_esEs19(vwx300, vwx400, ddf, ddg, ddh)
new_pePe(False, vwx153) → vwx153
new_compare113(vwx139, vwx140, vwx141, vwx142, vwx143, vwx144, True, vwx146, dec, ded, dee) → new_compare110(vwx139, vwx140, vwx141, vwx142, vwx143, vwx144, True, dec, ded, dee)
new_esEs4(vwx300, vwx400, ty_Float) → new_esEs18(vwx300, vwx400)
new_esEs11(vwx302, vwx402, app(app(app(ty_@3, dfc), dfd), dfe)) → new_esEs19(vwx302, vwx402, dfc, dfd, dfe)
new_esEs14(Left(vwx3000), Left(vwx4000), ty_Bool, dgf) → new_esEs25(vwx3000, vwx4000)
new_esEs38(vwx250, vwx260, ty_Float) → new_esEs18(vwx250, vwx260)
new_ltEs22(vwx252, vwx262, ty_Ordering) → new_ltEs8(vwx252, vwx262)
new_esEs9(vwx300, vwx400, app(app(ty_@2, cfg), cfh)) → new_esEs17(vwx300, vwx400, cfg, cfh)
new_ltEs6(Right(vwx250), Right(vwx260), dg, app(ty_[], ee)) → new_ltEs11(vwx250, vwx260, ee)
new_lt22(vwx61, vwx64, ty_Double) → new_lt6(vwx61, vwx64)
new_lt23(vwx62, vwx65, ty_Char) → new_lt9(vwx62, vwx65)
new_compare25(vwx74, vwx75, vwx76, vwx77, True, bfb, bgd) → EQ
new_compare27(vwx32, vwx33, False, cea, egd) → new_compare10(vwx32, vwx33, new_ltEs20(vwx32, vwx33, egd), cea, egd)
new_esEs39(vwx61, vwx64, app(ty_Ratio, fga)) → new_esEs13(vwx61, vwx64, fga)
new_esEs39(vwx61, vwx64, ty_Integer) → new_esEs15(vwx61, vwx64)
new_ltEs6(Right(vwx250), Right(vwx260), dg, app(ty_Maybe, ed)) → new_ltEs5(vwx250, vwx260, ed)
new_esEs30(vwx3000, vwx4000, ty_Char) → new_esEs16(vwx3000, vwx4000)
new_esEs37(vwx251, vwx261, app(ty_Ratio, ffc)) → new_esEs13(vwx251, vwx261, ffc)
new_lt23(vwx62, vwx65, app(app(ty_Either, cbg), cbh)) → new_lt5(vwx62, vwx65, cbg, cbh)
new_ltEs6(Left(vwx250), Left(vwx260), ty_Float, ce) → new_ltEs15(vwx250, vwx260)
new_esEs7(vwx301, vwx401, ty_Int) → new_esEs12(vwx301, vwx401)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Integer) → new_esEs15(vwx3000, vwx4000)
new_lt19(vwx250, vwx260, app(ty_[], bbg)) → new_lt16(vwx250, vwx260, bbg)
new_esEs36(vwx250, vwx260, app(ty_Ratio, ffb)) → new_esEs13(vwx250, vwx260, ffb)
new_ltEs18(vwx25, vwx26, app(app(app(ty_@3, bcc), bbb), bbc)) → new_ltEs12(vwx25, vwx26, bcc, bbb, bbc)
new_esEs11(vwx302, vwx402, ty_Double) → new_esEs22(vwx302, vwx402)
new_ltEs24(vwx63, vwx66, app(app(ty_@2, cdb), cdc)) → new_ltEs9(vwx63, vwx66, cdb, cdc)
new_ltEs19(vwx75, vwx77, app(ty_[], bfh)) → new_ltEs11(vwx75, vwx77, bfh)
new_esEs29(vwx74, vwx76, app(app(ty_@2, beh), bfa)) → new_esEs17(vwx74, vwx76, beh, bfa)
new_compare110(vwx139, vwx140, vwx141, vwx142, vwx143, vwx144, True, dec, ded, dee) → LT
new_ltEs23(vwx251, vwx261, ty_Ordering) → new_ltEs8(vwx251, vwx261)
new_esEs40(vwx62, vwx65, app(app(ty_@2, cca), ccb)) → new_esEs17(vwx62, vwx65, cca, ccb)
new_esEs29(vwx74, vwx76, app(app(app(ty_@3, bgg), bgh), bha)) → new_esEs19(vwx74, vwx76, bgg, bgh, bha)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Int) → new_esEs12(vwx3000, vwx4000)
new_lt20(vwx251, vwx261, app(app(app(ty_@3, bdb), bdc), bdd)) → new_lt10(vwx251, vwx261, bdb, bdc, bdd)
new_compare26(vwx25, vwx26, False, dgb, cf) → new_compare112(vwx25, vwx26, new_ltEs18(vwx25, vwx26, dgb), dgb, cf)
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_Bool) → new_ltEs10(vwx250, vwx260)
new_esEs26(EQ) → False
new_ltEs20(vwx32, vwx33, ty_Ordering) → new_ltEs8(vwx32, vwx33)
new_ltEs8(EQ, GT) → True
new_esEs40(vwx62, vwx65, app(ty_Maybe, ccc)) → new_esEs24(vwx62, vwx65, ccc)
new_ltEs8(GT, GT) → True
new_esEs20([], [], dhd) → True
new_esEs29(vwx74, vwx76, app(ty_Ratio, dhf)) → new_esEs13(vwx74, vwx76, dhf)
new_esEs39(vwx61, vwx64, app(ty_Maybe, cba)) → new_esEs24(vwx61, vwx64, cba)
new_lt19(vwx250, vwx260, app(ty_Ratio, ffb)) → new_lt12(vwx250, vwx260, ffb)
new_esEs40(vwx62, vwx65, app(ty_[], ccd)) → new_esEs20(vwx62, vwx65, ccd)
new_esEs39(vwx61, vwx64, ty_Bool) → new_esEs25(vwx61, vwx64)
new_esEs14(Left(vwx3000), Left(vwx4000), ty_Integer, dgf) → new_esEs15(vwx3000, vwx4000)
new_esEs36(vwx250, vwx260, ty_Double) → new_esEs22(vwx250, vwx260)
new_lt22(vwx61, vwx64, app(app(ty_@2, cag), cah)) → new_lt11(vwx61, vwx64, cag, cah)
new_ltEs21(vwx50, vwx51, ty_@0) → new_ltEs14(vwx50, vwx51)
new_ltEs19(vwx75, vwx77, ty_Int) → new_ltEs7(vwx75, vwx77)
new_esEs35(vwx3000, vwx4000, ty_Ordering) → new_esEs23(vwx3000, vwx4000)
new_ltEs24(vwx63, vwx66, ty_Int) → new_ltEs7(vwx63, vwx66)
new_esEs14(Left(vwx3000), Left(vwx4000), app(ty_[], fcd), dgf) → new_esEs20(vwx3000, vwx4000, fcd)
new_primCmpNat0(Zero, Succ(vwx4000)) → LT
new_lt22(vwx61, vwx64, app(app(ty_Either, cac), cad)) → new_lt5(vwx61, vwx64, cac, cad)
new_ltEs19(vwx75, vwx77, ty_Float) → new_ltEs15(vwx75, vwx77)
new_esEs31(vwx3001, vwx4001, app(app(app(ty_@3, ebg), ebh), eca)) → new_esEs19(vwx3001, vwx4001, ebg, ebh, eca)
new_esEs36(vwx250, vwx260, ty_Integer) → new_esEs15(vwx250, vwx260)
new_ltEs5(Just(vwx250), Just(vwx260), app(app(ty_Either, hf), hg)) → new_ltEs6(vwx250, vwx260, hf, hg)
new_esEs30(vwx3000, vwx4000, ty_Float) → new_esEs18(vwx3000, vwx4000)
new_esEs32(vwx3000, vwx4000, ty_Double) → new_esEs22(vwx3000, vwx4000)
new_esEs34(vwx3002, vwx4002, ty_@0) → new_esEs21(vwx3002, vwx4002)
new_ltEs6(Left(vwx250), Left(vwx260), app(app(app(ty_@3, dd), de), df), ce) → new_ltEs12(vwx250, vwx260, dd, de, df)
new_ltEs6(Left(vwx250), Left(vwx260), ty_Integer, ce) → new_ltEs16(vwx250, vwx260)
new_compare14(vwx30, vwx40, app(ty_[], bg)) → new_compare0(vwx30, vwx40, bg)
new_ltEs8(LT, EQ) → True
new_esEs32(vwx3000, vwx4000, app(ty_[], edf)) → new_esEs20(vwx3000, vwx4000, edf)
new_esEs31(vwx3001, vwx4001, app(app(ty_@2, ebe), ebf)) → new_esEs17(vwx3001, vwx4001, ebe, ebf)
new_esEs5(vwx300, vwx400, ty_Bool) → new_esEs25(vwx300, vwx400)
new_esEs37(vwx251, vwx261, app(ty_Maybe, bch)) → new_esEs24(vwx251, vwx261, bch)
new_lt22(vwx61, vwx64, app(ty_Ratio, fga)) → new_lt12(vwx61, vwx64, fga)
new_ltEs18(vwx25, vwx26, app(ty_Maybe, cgh)) → new_ltEs5(vwx25, vwx26, cgh)
new_esEs30(vwx3000, vwx4000, ty_@0) → new_esEs21(vwx3000, vwx4000)
new_esEs36(vwx250, vwx260, ty_@0) → new_esEs21(vwx250, vwx260)
new_ltEs24(vwx63, vwx66, app(ty_[], cde)) → new_ltEs11(vwx63, vwx66, cde)
new_ltEs22(vwx252, vwx262, ty_Char) → new_ltEs17(vwx252, vwx262)
new_ltEs18(vwx25, vwx26, ty_Double) → new_ltEs13(vwx25, vwx26)
new_esEs37(vwx251, vwx261, ty_Float) → new_esEs18(vwx251, vwx261)
new_lt21(vwx250, vwx260, ty_Bool) → new_lt15(vwx250, vwx260)
new_ltEs4(vwx25, vwx26, cfc) → new_fsEs(new_compare6(vwx25, vwx26, cfc))
new_lt19(vwx250, vwx260, app(app(ty_@2, bbd), bbe)) → new_lt11(vwx250, vwx260, bbd, bbe)
new_pePe(True, vwx153) → True
new_compare0([], [], ba) → EQ
new_primEqNat0(Zero, Zero) → True
new_ltEs21(vwx50, vwx51, ty_Double) → new_ltEs13(vwx50, vwx51)
new_esEs38(vwx250, vwx260, ty_Char) → new_esEs16(vwx250, vwx260)
new_esEs40(vwx62, vwx65, ty_Float) → new_esEs18(vwx62, vwx65)
new_lt20(vwx251, vwx261, app(app(ty_Either, bcd), bce)) → new_lt5(vwx251, vwx261, bcd, bce)
new_ltEs20(vwx32, vwx33, app(app(app(ty_@3, ceh), cfa), cfb)) → new_ltEs12(vwx32, vwx33, ceh, cfa, cfb)
new_esEs5(vwx300, vwx400, ty_Integer) → new_esEs15(vwx300, vwx400)
new_primMulNat0(Succ(vwx30000), Succ(vwx40100)) → new_primPlusNat1(new_primMulNat0(vwx30000, Succ(vwx40100)), vwx40100)
new_ltEs20(vwx32, vwx33, ty_Bool) → new_ltEs10(vwx32, vwx33)
new_esEs10(vwx301, vwx401, ty_@0) → new_esEs21(vwx301, vwx401)
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_Char) → new_ltEs17(vwx250, vwx260)
new_esEs36(vwx250, vwx260, ty_Ordering) → new_esEs23(vwx250, vwx260)
new_esEs39(vwx61, vwx64, ty_@0) → new_esEs21(vwx61, vwx64)
new_compare7(Double(vwx300, vwx301), Double(vwx400, vwx401)) → new_compare11(new_sr(vwx300, vwx400), new_sr(vwx301, vwx401))
new_compare14(vwx30, vwx40, app(ty_Maybe, bf)) → new_compare17(vwx30, vwx40, bf)
new_ltEs8(GT, EQ) → False
new_esEs39(vwx61, vwx64, app(app(ty_Either, cac), cad)) → new_esEs14(vwx61, vwx64, cac, cad)
new_ltEs8(EQ, LT) → False
new_ltEs21(vwx50, vwx51, ty_Bool) → new_ltEs10(vwx50, vwx51)
new_esEs11(vwx302, vwx402, ty_Char) → new_esEs16(vwx302, vwx402)
new_lt19(vwx250, vwx260, app(ty_Maybe, bbf)) → new_lt8(vwx250, vwx260, bbf)
new_ltEs6(Left(vwx250), Left(vwx260), app(ty_Ratio, ecd), ce) → new_ltEs4(vwx250, vwx260, ecd)
new_ltEs20(vwx32, vwx33, app(app(ty_@2, ced), cee)) → new_ltEs9(vwx32, vwx33, ced, cee)
new_esEs11(vwx302, vwx402, app(app(ty_Either, deg), deh)) → new_esEs14(vwx302, vwx402, deg, deh)
new_compare28(vwx50, vwx51, False, egf) → new_compare111(vwx50, vwx51, new_ltEs21(vwx50, vwx51, egf), egf)
new_ltEs22(vwx252, vwx262, app(app(ty_@2, bdg), bdh)) → new_ltEs9(vwx252, vwx262, bdg, bdh)
new_esEs38(vwx250, vwx260, app(ty_Ratio, ffe)) → new_esEs13(vwx250, vwx260, ffe)
new_esEs7(vwx301, vwx401, app(app(ty_Either, dae), daf)) → new_esEs14(vwx301, vwx401, dae, daf)
new_sr(vwx300, vwx401) → new_primMulInt(vwx300, vwx401)
new_esEs5(vwx300, vwx400, app(app(app(ty_@3, dcc), dcd), dce)) → new_esEs19(vwx300, vwx400, dcc, dcd, dce)
new_ltEs23(vwx251, vwx261, ty_Double) → new_ltEs13(vwx251, vwx261)
new_ltEs19(vwx75, vwx77, app(app(app(ty_@3, bga), bgb), bgc)) → new_ltEs12(vwx75, vwx77, bga, bgb, bgc)
new_lt4(vwx74, vwx76) → new_esEs23(new_compare9(vwx74, vwx76), LT)
new_esEs29(vwx74, vwx76, ty_Bool) → new_esEs25(vwx74, vwx76)
new_esEs35(vwx3000, vwx4000, app(ty_Maybe, faa)) → new_esEs24(vwx3000, vwx4000, faa)
new_esEs30(vwx3000, vwx4000, app(ty_Maybe, eba)) → new_esEs24(vwx3000, vwx4000, eba)
new_esEs33(vwx3001, vwx4001, ty_Double) → new_esEs22(vwx3001, vwx4001)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_Char) → new_esEs16(vwx3000, vwx4000)
new_ltEs20(vwx32, vwx33, app(app(ty_Either, ceb), cec)) → new_ltEs6(vwx32, vwx33, ceb, cec)
new_lt22(vwx61, vwx64, app(ty_Maybe, cba)) → new_lt8(vwx61, vwx64, cba)
new_ltEs24(vwx63, vwx66, ty_Double) → new_ltEs13(vwx63, vwx66)
new_lt5(vwx74, vwx76, bef, beg) → new_esEs23(new_compare13(vwx74, vwx76, bef, beg), LT)
new_lt22(vwx61, vwx64, app(ty_[], cbb)) → new_lt16(vwx61, vwx64, cbb)
new_ltEs5(Just(vwx250), Just(vwx260), ty_@0) → new_ltEs14(vwx250, vwx260)
new_esEs36(vwx250, vwx260, app(ty_Maybe, bbf)) → new_esEs24(vwx250, vwx260, bbf)
new_esEs37(vwx251, vwx261, app(app(app(ty_@3, bdb), bdc), bdd)) → new_esEs19(vwx251, vwx261, bdb, bdc, bdd)
new_esEs37(vwx251, vwx261, ty_Char) → new_esEs16(vwx251, vwx261)
new_esEs31(vwx3001, vwx4001, ty_Float) → new_esEs18(vwx3001, vwx4001)
new_lt13(vwx74, vwx76, app(ty_Ratio, dhf)) → new_lt12(vwx74, vwx76, dhf)
new_esEs16(Char(vwx3000), Char(vwx4000)) → new_primEqNat0(vwx3000, vwx4000)
new_ltEs21(vwx50, vwx51, ty_Integer) → new_ltEs16(vwx50, vwx51)
new_esEs7(vwx301, vwx401, ty_@0) → new_esEs21(vwx301, vwx401)
new_esEs34(vwx3002, vwx4002, ty_Ordering) → new_esEs23(vwx3002, vwx4002)
new_compare8(LT, EQ) → LT
new_esEs29(vwx74, vwx76, ty_Int) → new_esEs12(vwx74, vwx76)
new_ltEs6(Right(vwx250), Right(vwx260), dg, app(app(app(ty_@3, ef), eg), eh)) → new_ltEs12(vwx250, vwx260, ef, eg, eh)
new_primEqInt(Neg(Succ(vwx30000)), Neg(Succ(vwx40000))) → new_primEqNat0(vwx30000, vwx40000)
new_ltEs24(vwx63, vwx66, app(app(app(ty_@3, cdf), cdg), cdh)) → new_ltEs12(vwx63, vwx66, cdf, cdg, cdh)
new_esEs39(vwx61, vwx64, app(app(ty_@2, cag), cah)) → new_esEs17(vwx61, vwx64, cag, cah)
new_compare14(vwx30, vwx40, ty_Char) → new_compare24(vwx30, vwx40)
new_ltEs19(vwx75, vwx77, ty_Ordering) → new_ltEs8(vwx75, vwx77)
new_ltEs20(vwx32, vwx33, app(ty_Ratio, ege)) → new_ltEs4(vwx32, vwx33, ege)
new_esEs8(vwx300, vwx400, ty_Float) → new_esEs18(vwx300, vwx400)
new_compare14(vwx30, vwx40, app(app(app(ty_@3, bh), ca), cb)) → new_compare18(vwx30, vwx40, bh, ca, cb)
new_esEs6(vwx300, vwx400, ty_Double) → new_esEs22(vwx300, vwx400)
new_lt13(vwx74, vwx76, ty_Float) → new_lt4(vwx74, vwx76)
new_ltEs5(Just(vwx250), Nothing, cgh) → False
new_lt13(vwx74, vwx76, app(app(app(ty_@3, bgg), bgh), bha)) → new_lt10(vwx74, vwx76, bgg, bgh, bha)
new_esEs29(vwx74, vwx76, app(ty_Maybe, bge)) → new_esEs24(vwx74, vwx76, bge)
new_ltEs6(Right(vwx250), Right(vwx260), dg, app(app(ty_@2, eb), ec)) → new_ltEs9(vwx250, vwx260, eb, ec)
new_esEs11(vwx302, vwx402, ty_Int) → new_esEs12(vwx302, vwx402)
new_esEs31(vwx3001, vwx4001, ty_Double) → new_esEs22(vwx3001, vwx4001)
new_esEs10(vwx301, vwx401, ty_Bool) → new_esEs25(vwx301, vwx401)
new_esEs6(vwx300, vwx400, ty_Char) → new_esEs16(vwx300, vwx400)
new_ltEs22(vwx252, vwx262, ty_Integer) → new_ltEs16(vwx252, vwx262)
new_ltEs16(vwx25, vwx26) → new_fsEs(new_compare19(vwx25, vwx26))
new_lt13(vwx74, vwx76, ty_Int) → new_lt14(vwx74, vwx76)
new_esEs8(vwx300, vwx400, app(app(app(ty_@3, fag), fah), fba)) → new_esEs19(vwx300, vwx400, fag, fah, fba)
new_lt23(vwx62, vwx65, app(ty_Ratio, fgb)) → new_lt12(vwx62, vwx65, fgb)
new_primEqInt(Neg(Zero), Neg(Zero)) → True
new_ltEs22(vwx252, vwx262, ty_Int) → new_ltEs7(vwx252, vwx262)
new_esEs33(vwx3001, vwx4001, app(ty_Ratio, edh)) → new_esEs13(vwx3001, vwx4001, edh)
new_ltEs22(vwx252, vwx262, app(ty_[], beb)) → new_ltEs11(vwx252, vwx262, beb)
new_esEs27(vwx3000, vwx4000, ty_Int) → new_esEs12(vwx3000, vwx4000)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_@0) → new_esEs21(vwx3000, vwx4000)
new_esEs23(EQ, EQ) → True
new_ltEs22(vwx252, vwx262, app(app(app(ty_@3, bec), bed), bee)) → new_ltEs12(vwx252, vwx262, bec, bed, bee)
new_lt20(vwx251, vwx261, ty_Ordering) → new_lt7(vwx251, vwx261)
new_esEs26(GT) → False
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_Double) → new_ltEs13(vwx250, vwx260)
new_lt12(vwx74, vwx76, dhf) → new_esEs23(new_compare6(vwx74, vwx76, dhf), LT)
new_lt13(vwx74, vwx76, ty_@0) → new_lt17(vwx74, vwx76)
new_esEs20(:(vwx3000, vwx3001), [], dhd) → False
new_esEs20([], :(vwx4000, vwx4001), dhd) → False
new_esEs24(Nothing, Nothing, dhe) → True
new_ltEs18(vwx25, vwx26, ty_@0) → new_ltEs14(vwx25, vwx26)
new_esEs9(vwx300, vwx400, ty_Int) → new_esEs12(vwx300, vwx400)
new_esEs8(vwx300, vwx400, app(ty_Ratio, fab)) → new_esEs13(vwx300, vwx400, fab)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_Float) → new_esEs18(vwx3000, vwx4000)
new_compare112(vwx97, vwx98, False, ffg, ffh) → GT
new_esEs14(Left(vwx3000), Left(vwx4000), app(app(app(ty_@3, fca), fcb), fcc), dgf) → new_esEs19(vwx3000, vwx4000, fca, fcb, fcc)
new_primEqInt(Neg(Zero), Neg(Succ(vwx40000))) → False
new_primEqInt(Neg(Succ(vwx30000)), Neg(Zero)) → False
new_esEs38(vwx250, vwx260, app(ty_Maybe, fg)) → new_esEs24(vwx250, vwx260, fg)
new_esEs39(vwx61, vwx64, ty_Char) → new_esEs16(vwx61, vwx64)
new_primCompAux0(vwx19, GT) → GT
new_esEs24(Just(vwx3000), Just(vwx4000), app(ty_Maybe, ffa)) → new_esEs24(vwx3000, vwx4000, ffa)
new_compare26(vwx25, vwx26, True, dgb, cf) → EQ
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_Float) → new_ltEs15(vwx250, vwx260)
new_primPlusNat1(Zero, vwx40100) → Succ(vwx40100)
new_compare111(vwx112, vwx113, True, dfh) → LT
new_esEs7(vwx301, vwx401, app(ty_Ratio, dad)) → new_esEs13(vwx301, vwx401, dad)
new_esEs20(:(vwx3000, vwx3001), :(vwx4000, vwx4001), dhd) → new_asAs(new_esEs35(vwx3000, vwx4000, dhd), new_esEs20(vwx3001, vwx4001, dhd))
new_esEs14(Right(vwx3000), Right(vwx4000), dge, app(ty_[], fdf)) → new_esEs20(vwx3000, vwx4000, fdf)
new_esEs35(vwx3000, vwx4000, app(app(ty_Either, eha), ehb)) → new_esEs14(vwx3000, vwx4000, eha, ehb)
new_ltEs21(vwx50, vwx51, app(ty_[], bhg)) → new_ltEs11(vwx50, vwx51, bhg)
new_lt23(vwx62, vwx65, app(app(app(ty_@3, cce), ccf), ccg)) → new_lt10(vwx62, vwx65, cce, ccf, ccg)
new_esEs35(vwx3000, vwx4000, app(ty_[], ehh)) → new_esEs20(vwx3000, vwx4000, ehh)
new_ltEs19(vwx75, vwx77, ty_Char) → new_ltEs17(vwx75, vwx77)
new_esEs10(vwx301, vwx401, app(app(app(ty_@3, chg), chh), daa)) → new_esEs19(vwx301, vwx401, chg, chh, daa)
new_ltEs5(Just(vwx250), Just(vwx260), ty_Bool) → new_ltEs10(vwx250, vwx260)
new_lt21(vwx250, vwx260, app(app(ty_Either, fa), fb)) → new_lt5(vwx250, vwx260, fa, fb)
new_esEs33(vwx3001, vwx4001, ty_Int) → new_esEs12(vwx3001, vwx4001)
new_compare13(Left(vwx300), Left(vwx400), bb, bc) → new_compare26(vwx300, vwx400, new_esEs4(vwx300, vwx400, bb), bb, bc)
new_primCmpInt(Pos(Zero), Neg(Zero)) → EQ
new_primCmpInt(Neg(Zero), Pos(Zero)) → EQ
new_esEs6(vwx300, vwx400, ty_@0) → new_esEs21(vwx300, vwx400)
new_esEs9(vwx300, vwx400, ty_Float) → new_esEs18(vwx300, vwx400)
new_esEs8(vwx300, vwx400, ty_Int) → new_esEs12(vwx300, vwx400)
new_ltEs12(@3(vwx250, vwx251, vwx252), @3(vwx260, vwx261, vwx262), bcc, bbb, bbc) → new_pePe(new_lt19(vwx250, vwx260, bcc), new_asAs(new_esEs36(vwx250, vwx260, bcc), new_pePe(new_lt20(vwx251, vwx261, bbb), new_asAs(new_esEs37(vwx251, vwx261, bbb), new_ltEs22(vwx252, vwx262, bbc)))))
new_primCmpNat0(Succ(vwx3000), Succ(vwx4000)) → new_primCmpNat0(vwx3000, vwx4000)
new_ltEs19(vwx75, vwx77, app(ty_Ratio, dhg)) → new_ltEs4(vwx75, vwx77, dhg)
new_ltEs18(vwx25, vwx26, app(app(ty_Either, dg), ce)) → new_ltEs6(vwx25, vwx26, dg, ce)
new_esEs29(vwx74, vwx76, app(ty_[], bgf)) → new_esEs20(vwx74, vwx76, bgf)
new_compare15(@2(vwx300, vwx301), @2(vwx400, vwx401), bd, be) → new_compare25(vwx300, vwx301, vwx400, vwx401, new_asAs(new_esEs6(vwx300, vwx400, bd), new_esEs7(vwx301, vwx401, be)), bd, be)
new_lt23(vwx62, vwx65, ty_@0) → new_lt17(vwx62, vwx65)
new_primEqInt(Pos(Succ(vwx30000)), Pos(Succ(vwx40000))) → new_primEqNat0(vwx30000, vwx40000)
new_compare10(vwx104, vwx105, False, cgf, cgg) → GT
new_compare14(vwx30, vwx40, ty_@0) → new_compare12(vwx30, vwx40)
new_esEs34(vwx3002, vwx4002, app(ty_Ratio, efb)) → new_esEs13(vwx3002, vwx4002, efb)
new_compare27(vwx32, vwx33, True, cea, egd) → EQ
new_esEs37(vwx251, vwx261, app(app(ty_@2, bcf), bcg)) → new_esEs17(vwx251, vwx261, bcf, bcg)
new_ltEs5(Just(vwx250), Just(vwx260), ty_Integer) → new_ltEs16(vwx250, vwx260)
new_compare8(GT, GT) → EQ
new_compare6(:%(vwx300, vwx301), :%(vwx400, vwx401), ty_Integer) → new_compare19(new_sr0(vwx300, vwx401), new_sr0(vwx400, vwx301))
new_esEs14(Left(vwx3000), Left(vwx4000), ty_Float, dgf) → new_esEs18(vwx3000, vwx4000)
new_esEs24(Nothing, Just(vwx4000), dhe) → False
new_esEs24(Just(vwx3000), Nothing, dhe) → False
new_esEs32(vwx3000, vwx4000, app(app(app(ty_@3, edc), edd), ede)) → new_esEs19(vwx3000, vwx4000, edc, edd, ede)
new_esEs34(vwx3002, vwx4002, ty_Char) → new_esEs16(vwx3002, vwx4002)
new_esEs34(vwx3002, vwx4002, app(app(ty_@2, efe), eff)) → new_esEs17(vwx3002, vwx4002, efe, eff)
new_esEs9(vwx300, vwx400, app(ty_[], cgd)) → new_esEs20(vwx300, vwx400, cgd)
new_primEqNat0(Succ(vwx30000), Succ(vwx40000)) → new_primEqNat0(vwx30000, vwx40000)
new_esEs39(vwx61, vwx64, app(ty_[], cbb)) → new_esEs20(vwx61, vwx64, cbb)
new_ltEs24(vwx63, vwx66, ty_Float) → new_ltEs15(vwx63, vwx66)
new_compare14(vwx30, vwx40, app(app(ty_Either, bb), bc)) → new_compare13(vwx30, vwx40, bb, bc)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Char) → new_esEs16(vwx3000, vwx4000)
new_esEs6(vwx300, vwx400, app(ty_[], dea)) → new_esEs20(vwx300, vwx400, dea)
new_compare8(EQ, EQ) → EQ
new_ltEs5(Just(vwx250), Just(vwx260), app(app(ty_@2, hh), baa)) → new_ltEs9(vwx250, vwx260, hh, baa)
new_esEs30(vwx3000, vwx4000, ty_Double) → new_esEs22(vwx3000, vwx4000)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, app(ty_Ratio, fcf)) → new_esEs13(vwx3000, vwx4000, fcf)
new_ltEs21(vwx50, vwx51, app(app(ty_Either, bhb), bhc)) → new_ltEs6(vwx50, vwx51, bhb, bhc)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, app(ty_Maybe, fdg)) → new_esEs24(vwx3000, vwx4000, fdg)
new_primCmpInt(Neg(Succ(vwx3000)), Neg(vwx400)) → new_primCmpNat0(vwx400, Succ(vwx3000))
new_compare14(vwx30, vwx40, ty_Ordering) → new_compare8(vwx30, vwx40)
new_lt22(vwx61, vwx64, ty_Integer) → new_lt18(vwx61, vwx64)
new_ltEs6(Left(vwx250), Right(vwx260), dg, ce) → True
new_lt11(vwx74, vwx76, beh, bfa) → new_esEs23(new_compare15(vwx74, vwx76, beh, bfa), LT)
new_compare13(Right(vwx300), Right(vwx400), bb, bc) → new_compare27(vwx300, vwx400, new_esEs5(vwx300, vwx400, bc), bb, bc)
new_ltEs24(vwx63, vwx66, ty_Integer) → new_ltEs16(vwx63, vwx66)
new_ltEs6(Right(vwx250), Left(vwx260), dg, ce) → False
new_primEqInt(Pos(Zero), Pos(Succ(vwx40000))) → False
new_primEqInt(Pos(Succ(vwx30000)), Pos(Zero)) → False
new_esEs23(GT, GT) → True
new_ltEs23(vwx251, vwx261, ty_Bool) → new_ltEs10(vwx251, vwx261)
new_ltEs5(Nothing, Just(vwx260), cgh) → True
new_esEs24(Just(vwx3000), Just(vwx4000), app(ty_Ratio, fdh)) → new_esEs13(vwx3000, vwx4000, fdh)
new_esEs21(@0, @0) → True
new_primPlusNat0(Succ(vwx15400), Zero) → Succ(vwx15400)
new_primPlusNat0(Zero, Succ(vwx401000)) → Succ(vwx401000)
new_lt13(vwx74, vwx76, ty_Ordering) → new_lt7(vwx74, vwx76)
new_esEs5(vwx300, vwx400, app(ty_Ratio, dbf)) → new_esEs13(vwx300, vwx400, dbf)
new_primCmpNat0(Zero, Zero) → EQ
new_primCmpNat0(Succ(vwx3000), Zero) → GT
new_compare14(vwx30, vwx40, ty_Double) → new_compare7(vwx30, vwx40)
new_esEs11(vwx302, vwx402, app(ty_[], dff)) → new_esEs20(vwx302, vwx402, dff)
new_ltEs18(vwx25, vwx26, app(ty_[], bag)) → new_ltEs11(vwx25, vwx26, bag)
new_primCmpInt(Neg(Zero), Pos(Succ(vwx4000))) → LT
new_esEs34(vwx3002, vwx4002, ty_Float) → new_esEs18(vwx3002, vwx4002)
new_ltEs20(vwx32, vwx33, ty_@0) → new_ltEs14(vwx32, vwx33)
new_esEs6(vwx300, vwx400, ty_Int) → new_esEs12(vwx300, vwx400)
new_compare24(Char(vwx300), Char(vwx400)) → new_primCmpNat0(vwx300, vwx400)
new_esEs36(vwx250, vwx260, ty_Float) → new_esEs18(vwx250, vwx260)
new_lt16(vwx3, vwx4, ba) → new_esEs26(new_compare0(vwx3, vwx4, ba))
new_sr0(Integer(vwx3000), Integer(vwx4010)) → Integer(new_primMulInt(vwx3000, vwx4010))
new_esEs4(vwx300, vwx400, ty_Char) → new_esEs16(vwx300, vwx400)
new_lt21(vwx250, vwx260, app(app(ty_@2, fd), ff)) → new_lt11(vwx250, vwx260, fd, ff)
new_primEqInt(Neg(Succ(vwx30000)), Pos(vwx4000)) → False
new_primEqInt(Pos(Succ(vwx30000)), Neg(vwx4000)) → False
new_esEs7(vwx301, vwx401, ty_Float) → new_esEs18(vwx301, vwx401)
new_esEs9(vwx300, vwx400, ty_@0) → new_esEs21(vwx300, vwx400)
new_esEs5(vwx300, vwx400, ty_Int) → new_esEs12(vwx300, vwx400)
new_esEs11(vwx302, vwx402, ty_Integer) → new_esEs15(vwx302, vwx402)
new_ltEs24(vwx63, vwx66, app(ty_Ratio, fgc)) → new_ltEs4(vwx63, vwx66, fgc)
new_ltEs20(vwx32, vwx33, ty_Float) → new_ltEs15(vwx32, vwx33)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Double) → new_esEs22(vwx3000, vwx4000)
new_ltEs24(vwx63, vwx66, ty_Bool) → new_ltEs10(vwx63, vwx66)
new_esEs37(vwx251, vwx261, ty_@0) → new_esEs21(vwx251, vwx261)
new_primEqInt(Neg(Zero), Pos(Succ(vwx40000))) → False
new_primEqInt(Pos(Zero), Neg(Succ(vwx40000))) → False
new_ltEs19(vwx75, vwx77, app(app(ty_@2, bfe), bff)) → new_ltEs9(vwx75, vwx77, bfe, bff)
new_esEs31(vwx3001, vwx4001, ty_Integer) → new_esEs15(vwx3001, vwx4001)
new_esEs6(vwx300, vwx400, app(ty_Maybe, deb)) → new_esEs24(vwx300, vwx400, deb)
new_primCmpInt(Pos(Zero), Pos(Succ(vwx4000))) → new_primCmpNat0(Zero, Succ(vwx4000))
new_ltEs18(vwx25, vwx26, app(app(ty_@2, gd), fc)) → new_ltEs9(vwx25, vwx26, gd, fc)
new_esEs38(vwx250, vwx260, app(app(ty_@2, fd), ff)) → new_esEs17(vwx250, vwx260, fd, ff)
new_esEs34(vwx3002, vwx4002, app(ty_Maybe, egc)) → new_esEs24(vwx3002, vwx4002, egc)
new_esEs5(vwx300, vwx400, app(ty_Maybe, dcg)) → new_esEs24(vwx300, vwx400, dcg)
new_esEs34(vwx3002, vwx4002, app(app(ty_Either, efc), efd)) → new_esEs14(vwx3002, vwx4002, efc, efd)
new_compare14(vwx30, vwx40, app(ty_Ratio, dch)) → new_compare6(vwx30, vwx40, dch)
new_compare17(Just(vwx300), Just(vwx400), bf) → new_compare28(vwx300, vwx400, new_esEs8(vwx300, vwx400, bf), bf)
new_esEs39(vwx61, vwx64, app(app(app(ty_@3, cbc), cbd), cbe)) → new_esEs19(vwx61, vwx64, cbc, cbd, cbe)
new_esEs31(vwx3001, vwx4001, ty_Int) → new_esEs12(vwx3001, vwx4001)
new_ltEs8(GT, LT) → False
new_lt23(vwx62, vwx65, ty_Float) → new_lt4(vwx62, vwx65)
new_ltEs9(@2(vwx250, vwx251), @2(vwx260, vwx261), gd, fc) → new_pePe(new_lt21(vwx250, vwx260, gd), new_asAs(new_esEs38(vwx250, vwx260, gd), new_ltEs23(vwx251, vwx261, fc)))
new_esEs25(False, False) → True
new_esEs7(vwx301, vwx401, app(app(app(ty_@3, dba), dbb), dbc)) → new_esEs19(vwx301, vwx401, dba, dbb, dbc)
new_esEs31(vwx3001, vwx4001, app(ty_[], ecb)) → new_esEs20(vwx3001, vwx4001, ecb)
new_primCompAux0(vwx19, LT) → LT
new_esEs36(vwx250, vwx260, app(app(ty_@2, bbd), bbe)) → new_esEs17(vwx250, vwx260, bbd, bbe)
new_esEs7(vwx301, vwx401, app(app(ty_@2, dag), dah)) → new_esEs17(vwx301, vwx401, dag, dah)
new_esEs35(vwx3000, vwx4000, app(app(app(ty_@3, ehe), ehf), ehg)) → new_esEs19(vwx3000, vwx4000, ehe, ehf, ehg)
new_esEs4(vwx300, vwx400, ty_Int) → new_esEs12(vwx300, vwx400)
new_ltEs22(vwx252, vwx262, app(ty_Maybe, bea)) → new_ltEs5(vwx252, vwx262, bea)
new_compare12(@0, @0) → EQ
new_not(False) → True
new_lt20(vwx251, vwx261, ty_Char) → new_lt9(vwx251, vwx261)
new_ltEs11(vwx25, vwx26, bag) → new_fsEs(new_compare0(vwx25, vwx26, bag))
new_lt20(vwx251, vwx261, ty_Bool) → new_lt15(vwx251, vwx261)
new_ltEs13(vwx25, vwx26) → new_fsEs(new_compare7(vwx25, vwx26))
new_esEs9(vwx300, vwx400, app(app(app(ty_@3, cga), cgb), cgc)) → new_esEs19(vwx300, vwx400, cga, cgb, cgc)
new_primCmpInt(Pos(Succ(vwx3000)), Pos(vwx400)) → new_primCmpNat0(Succ(vwx3000), vwx400)
new_esEs19(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), dha, dhb, dhc) → new_asAs(new_esEs32(vwx3000, vwx4000, dha), new_asAs(new_esEs33(vwx3001, vwx4001, dhb), new_esEs34(vwx3002, vwx4002, dhc)))
new_esEs7(vwx301, vwx401, ty_Char) → new_esEs16(vwx301, vwx401)
new_esEs4(vwx300, vwx400, app(app(ty_@2, dgg), dgh)) → new_esEs17(vwx300, vwx400, dgg, dgh)
new_compare115(vwx124, vwx125, vwx126, vwx127, True, vwx129, dgc, dgd) → new_compare114(vwx124, vwx125, vwx126, vwx127, True, dgc, dgd)
new_esEs37(vwx251, vwx261, ty_Double) → new_esEs22(vwx251, vwx261)
new_esEs33(vwx3001, vwx4001, app(app(app(ty_@3, eee), eef), eeg)) → new_esEs19(vwx3001, vwx4001, eee, eef, eeg)
new_esEs40(vwx62, vwx65, ty_Ordering) → new_esEs23(vwx62, vwx65)
new_esEs31(vwx3001, vwx4001, app(ty_Maybe, ecc)) → new_esEs24(vwx3001, vwx4001, ecc)
new_esEs35(vwx3000, vwx4000, ty_Int) → new_esEs12(vwx3000, vwx4000)
new_esEs29(vwx74, vwx76, app(app(ty_Either, bef), beg)) → new_esEs14(vwx74, vwx76, bef, beg)
new_compare16(False, True) → LT
new_esEs40(vwx62, vwx65, app(app(app(ty_@3, cce), ccf), ccg)) → new_esEs19(vwx62, vwx65, cce, ccf, ccg)
new_esEs6(vwx300, vwx400, ty_Ordering) → new_esEs23(vwx300, vwx400)
new_esEs30(vwx3000, vwx4000, app(app(ty_@2, eac), ead)) → new_esEs17(vwx3000, vwx4000, eac, ead)
new_esEs9(vwx300, vwx400, ty_Char) → new_esEs16(vwx300, vwx400)
new_esEs37(vwx251, vwx261, ty_Integer) → new_esEs15(vwx251, vwx261)
new_compare0(:(vwx30, vwx31), [], ba) → GT
new_esEs34(vwx3002, vwx4002, app(app(app(ty_@3, efg), efh), ega)) → new_esEs19(vwx3002, vwx4002, efg, efh, ega)
new_compare110(vwx139, vwx140, vwx141, vwx142, vwx143, vwx144, False, dec, ded, dee) → GT
new_esEs11(vwx302, vwx402, ty_@0) → new_esEs21(vwx302, vwx402)
new_esEs30(vwx3000, vwx4000, app(ty_[], eah)) → new_esEs20(vwx3000, vwx4000, eah)
new_lt20(vwx251, vwx261, ty_Double) → new_lt6(vwx251, vwx261)
new_esEs37(vwx251, vwx261, ty_Bool) → new_esEs25(vwx251, vwx261)
new_ltEs20(vwx32, vwx33, app(ty_Maybe, cef)) → new_ltEs5(vwx32, vwx33, cef)
new_ltEs6(Left(vwx250), Left(vwx260), ty_Char, ce) → new_ltEs17(vwx250, vwx260)
new_lt23(vwx62, vwx65, ty_Double) → new_lt6(vwx62, vwx65)
new_esEs39(vwx61, vwx64, ty_Ordering) → new_esEs23(vwx61, vwx64)
new_esEs32(vwx3000, vwx4000, ty_Float) → new_esEs18(vwx3000, vwx4000)
new_esEs8(vwx300, vwx400, ty_Ordering) → new_esEs23(vwx300, vwx400)
new_primCmpInt(Pos(Succ(vwx3000)), Neg(vwx400)) → GT
new_esEs33(vwx3001, vwx4001, ty_Float) → new_esEs18(vwx3001, vwx4001)
new_esEs14(Left(vwx3000), Left(vwx4000), app(ty_Maybe, fce), dgf) → new_esEs24(vwx3000, vwx4000, fce)
new_lt14(vwx74, vwx76) → new_esEs23(new_compare11(vwx74, vwx76), LT)
new_esEs35(vwx3000, vwx4000, ty_@0) → new_esEs21(vwx3000, vwx4000)
new_fsEs(vwx148) → new_not(new_esEs23(vwx148, GT))
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_Int) → new_ltEs7(vwx250, vwx260)
new_lt9(vwx74, vwx76) → new_esEs23(new_compare24(vwx74, vwx76), LT)
new_esEs10(vwx301, vwx401, app(app(ty_@2, che), chf)) → new_esEs17(vwx301, vwx401, che, chf)
new_primMulInt(Pos(vwx3000), Pos(vwx4010)) → Pos(new_primMulNat0(vwx3000, vwx4010))
new_esEs4(vwx300, vwx400, app(ty_[], dhd)) → new_esEs20(vwx300, vwx400, dhd)
new_esEs24(Just(vwx3000), Just(vwx4000), app(app(ty_Either, fea), feb)) → new_esEs14(vwx3000, vwx4000, fea, feb)
new_compare19(Integer(vwx300), Integer(vwx400)) → new_primCmpInt(vwx300, vwx400)
new_lt7(vwx74, vwx76) → new_esEs23(new_compare8(vwx74, vwx76), LT)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_Double) → new_esEs22(vwx3000, vwx4000)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_Bool) → new_esEs25(vwx3000, vwx4000)
new_ltEs7(vwx25, vwx26) → new_fsEs(new_compare11(vwx25, vwx26))
new_esEs34(vwx3002, vwx4002, ty_Bool) → new_esEs25(vwx3002, vwx4002)
new_compare14(vwx30, vwx40, ty_Integer) → new_compare19(vwx30, vwx40)
new_ltEs18(vwx25, vwx26, ty_Int) → new_ltEs7(vwx25, vwx26)
new_primMulInt(Neg(vwx3000), Neg(vwx4010)) → Pos(new_primMulNat0(vwx3000, vwx4010))
new_esEs10(vwx301, vwx401, ty_Integer) → new_esEs15(vwx301, vwx401)
new_esEs9(vwx300, vwx400, app(ty_Ratio, cfd)) → new_esEs13(vwx300, vwx400, cfd)
new_primEqNat0(Succ(vwx30000), Zero) → False
new_primEqNat0(Zero, Succ(vwx40000)) → False
new_ltEs15(vwx25, vwx26) → new_fsEs(new_compare9(vwx25, vwx26))
new_ltEs5(Nothing, Nothing, cgh) → True
new_primPlusNat0(Zero, Zero) → Zero
new_compare29(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, True, cbf, cae, caf) → EQ
new_ltEs6(Left(vwx250), Left(vwx260), ty_Bool, ce) → new_ltEs10(vwx250, vwx260)
new_compare115(vwx124, vwx125, vwx126, vwx127, False, vwx129, dgc, dgd) → new_compare114(vwx124, vwx125, vwx126, vwx127, vwx129, dgc, dgd)
new_lt20(vwx251, vwx261, ty_@0) → new_lt17(vwx251, vwx261)
new_primEqInt(Pos(Zero), Pos(Zero)) → True
new_ltEs20(vwx32, vwx33, ty_Int) → new_ltEs7(vwx32, vwx33)
new_esEs38(vwx250, vwx260, ty_Double) → new_esEs22(vwx250, vwx260)
new_ltEs6(Left(vwx250), Left(vwx260), ty_Ordering, ce) → new_ltEs8(vwx250, vwx260)
new_lt10(vwx74, vwx76, bgg, bgh, bha) → new_esEs23(new_compare18(vwx74, vwx76, bgg, bgh, bha), LT)
new_compare8(LT, LT) → EQ
new_esEs33(vwx3001, vwx4001, app(ty_Maybe, efa)) → new_esEs24(vwx3001, vwx4001, efa)
new_lt22(vwx61, vwx64, ty_Int) → new_lt14(vwx61, vwx64)
new_esEs11(vwx302, vwx402, app(ty_Maybe, dfg)) → new_esEs24(vwx302, vwx402, dfg)
new_esEs11(vwx302, vwx402, app(app(ty_@2, dfa), dfb)) → new_esEs17(vwx302, vwx402, dfa, dfb)
new_esEs25(True, True) → True
new_compare8(EQ, GT) → LT
new_ltEs6(Left(vwx250), Left(vwx260), app(ty_Maybe, db), ce) → new_ltEs5(vwx250, vwx260, db)
new_esEs32(vwx3000, vwx4000, ty_Ordering) → new_esEs23(vwx3000, vwx4000)
new_esEs14(Left(vwx3000), Left(vwx4000), app(ty_Ratio, fbd), dgf) → new_esEs13(vwx3000, vwx4000, fbd)
new_lt21(vwx250, vwx260, ty_Ordering) → new_lt7(vwx250, vwx260)
new_esEs35(vwx3000, vwx4000, ty_Char) → new_esEs16(vwx3000, vwx4000)
new_compare17(Nothing, Just(vwx400), bf) → LT
new_esEs25(True, False) → False
new_esEs25(False, True) → False
new_esEs5(vwx300, vwx400, ty_Float) → new_esEs18(vwx300, vwx400)
new_ltEs19(vwx75, vwx77, ty_Bool) → new_ltEs10(vwx75, vwx77)
new_compare8(GT, EQ) → GT
new_primPlusNat1(Succ(vwx1540), vwx40100) → Succ(Succ(new_primPlusNat0(vwx1540, vwx40100)))
new_esEs36(vwx250, vwx260, ty_Char) → new_esEs16(vwx250, vwx260)
new_ltEs19(vwx75, vwx77, app(ty_Maybe, bfg)) → new_ltEs5(vwx75, vwx77, bfg)
new_esEs29(vwx74, vwx76, ty_Double) → new_esEs22(vwx74, vwx76)
new_esEs37(vwx251, vwx261, app(ty_[], bda)) → new_esEs20(vwx251, vwx261, bda)
new_lt23(vwx62, vwx65, app(ty_[], ccd)) → new_lt16(vwx62, vwx65, ccd)
new_compare16(True, False) → GT
new_ltEs5(Just(vwx250), Just(vwx260), app(app(app(ty_@3, bad), bae), baf)) → new_ltEs12(vwx250, vwx260, bad, bae, baf)
new_esEs5(vwx300, vwx400, ty_Ordering) → new_esEs23(vwx300, vwx400)
new_primCmpInt(Neg(Zero), Neg(Succ(vwx4000))) → new_primCmpNat0(Succ(vwx4000), Zero)
new_primCmpInt(Pos(Zero), Neg(Succ(vwx4000))) → GT
new_esEs30(vwx3000, vwx4000, ty_Ordering) → new_esEs23(vwx3000, vwx4000)
new_esEs12(vwx300, vwx400) → new_primEqInt(vwx300, vwx400)
new_compare0(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_primCompAux1(vwx30, vwx40, new_compare0(vwx31, vwx41, ba), ba)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_Integer) → new_esEs15(vwx3000, vwx4000)
new_esEs10(vwx301, vwx401, ty_Double) → new_esEs22(vwx301, vwx401)
new_ltEs5(Just(vwx250), Just(vwx260), ty_Ordering) → new_ltEs8(vwx250, vwx260)
new_lt6(vwx74, vwx76) → new_esEs23(new_compare7(vwx74, vwx76), LT)
new_esEs40(vwx62, vwx65, ty_Char) → new_esEs16(vwx62, vwx65)
new_esEs5(vwx300, vwx400, app(app(ty_Either, dbg), dbh)) → new_esEs14(vwx300, vwx400, dbg, dbh)
new_esEs36(vwx250, vwx260, app(ty_[], bbg)) → new_esEs20(vwx250, vwx260, bbg)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, app(app(app(ty_@3, fdc), fdd), fde)) → new_esEs19(vwx3000, vwx4000, fdc, fdd, fde)
new_esEs22(Double(vwx3000, vwx3001), Double(vwx4000, vwx4001)) → new_esEs12(new_sr(vwx3000, vwx4000), new_sr(vwx3001, vwx4001))
new_ltEs23(vwx251, vwx261, app(ty_Ratio, fff)) → new_ltEs4(vwx251, vwx261, fff)
new_esEs33(vwx3001, vwx4001, ty_Bool) → new_esEs25(vwx3001, vwx4001)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Float) → new_esEs18(vwx3000, vwx4000)
new_esEs34(vwx3002, vwx4002, ty_Integer) → new_esEs15(vwx3002, vwx4002)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, app(app(ty_Either, fcg), fch)) → new_esEs14(vwx3000, vwx4000, fcg, fch)
new_lt13(vwx74, vwx76, app(app(ty_Either, bef), beg)) → new_lt5(vwx74, vwx76, bef, beg)
new_lt21(vwx250, vwx260, app(app(app(ty_@3, ga), gb), gc)) → new_lt10(vwx250, vwx260, ga, gb, gc)
new_esEs14(Left(vwx3000), Left(vwx4000), app(app(ty_Either, fbe), fbf), dgf) → new_esEs14(vwx3000, vwx4000, fbe, fbf)
new_lt21(vwx250, vwx260, ty_Float) → new_lt4(vwx250, vwx260)
new_esEs11(vwx302, vwx402, ty_Ordering) → new_esEs23(vwx302, vwx402)
new_lt18(vwx74, vwx76) → new_esEs23(new_compare19(vwx74, vwx76), LT)
new_lt20(vwx251, vwx261, app(ty_[], bda)) → new_lt16(vwx251, vwx261, bda)
new_ltEs6(Right(vwx250), Right(vwx260), dg, app(app(ty_Either, dh), ea)) → new_ltEs6(vwx250, vwx260, dh, ea)
new_ltEs24(vwx63, vwx66, ty_Char) → new_ltEs17(vwx63, vwx66)
new_ltEs6(Left(vwx250), Left(vwx260), ty_Double, ce) → new_ltEs13(vwx250, vwx260)
new_esEs39(vwx61, vwx64, ty_Double) → new_esEs22(vwx61, vwx64)
new_lt21(vwx250, vwx260, ty_Double) → new_lt6(vwx250, vwx260)
new_lt19(vwx250, vwx260, ty_Ordering) → new_lt7(vwx250, vwx260)
new_esEs34(vwx3002, vwx4002, ty_Int) → new_esEs12(vwx3002, vwx4002)
new_primCmpInt(Neg(Zero), Neg(Zero)) → EQ
new_esEs10(vwx301, vwx401, app(ty_Maybe, dac)) → new_esEs24(vwx301, vwx401, dac)
new_lt21(vwx250, vwx260, app(ty_Ratio, ffe)) → new_lt12(vwx250, vwx260, ffe)
new_ltEs5(Just(vwx250), Just(vwx260), ty_Char) → new_ltEs17(vwx250, vwx260)
new_esEs36(vwx250, vwx260, app(app(app(ty_@3, bbh), bca), bcb)) → new_esEs19(vwx250, vwx260, bbh, bca, bcb)
new_esEs33(vwx3001, vwx4001, ty_Char) → new_esEs16(vwx3001, vwx4001)
new_esEs32(vwx3000, vwx4000, app(ty_Ratio, ecf)) → new_esEs13(vwx3000, vwx4000, ecf)
new_esEs13(:%(vwx3000, vwx3001), :%(vwx4000, vwx4001), dga) → new_asAs(new_esEs27(vwx3000, vwx4000, dga), new_esEs28(vwx3001, vwx4001, dga))
new_ltEs10(True, False) → False
new_esEs40(vwx62, vwx65, ty_Bool) → new_esEs25(vwx62, vwx65)
new_asAs(False, vwx92) → False
new_esEs38(vwx250, vwx260, ty_Int) → new_esEs12(vwx250, vwx260)
new_esEs6(vwx300, vwx400, app(ty_Ratio, dda)) → new_esEs13(vwx300, vwx400, dda)
new_lt23(vwx62, vwx65, ty_Integer) → new_lt18(vwx62, vwx65)
new_primMulInt(Neg(vwx3000), Pos(vwx4010)) → Neg(new_primMulNat0(vwx3000, vwx4010))
new_primMulInt(Pos(vwx3000), Neg(vwx4010)) → Neg(new_primMulNat0(vwx3000, vwx4010))
new_esEs36(vwx250, vwx260, ty_Bool) → new_esEs25(vwx250, vwx260)
new_ltEs20(vwx32, vwx33, app(ty_[], ceg)) → new_ltEs11(vwx32, vwx33, ceg)
new_primMulNat0(Zero, Succ(vwx40100)) → Zero
new_primMulNat0(Succ(vwx30000), Zero) → Zero
new_lt21(vwx250, vwx260, ty_Char) → new_lt9(vwx250, vwx260)
new_ltEs23(vwx251, vwx261, app(app(app(ty_@3, hc), hd), he)) → new_ltEs12(vwx251, vwx261, hc, hd, he)
new_ltEs6(Right(vwx250), Right(vwx260), dg, app(ty_Ratio, ece)) → new_ltEs4(vwx250, vwx260, ece)
new_lt13(vwx74, vwx76, ty_Bool) → new_lt15(vwx74, vwx76)
new_esEs34(vwx3002, vwx4002, ty_Double) → new_esEs22(vwx3002, vwx4002)
new_lt23(vwx62, vwx65, ty_Int) → new_lt14(vwx62, vwx65)
new_ltEs6(Left(vwx250), Left(vwx260), app(app(ty_@2, cg), da), ce) → new_ltEs9(vwx250, vwx260, cg, da)
new_esEs38(vwx250, vwx260, app(app(app(ty_@3, ga), gb), gc)) → new_esEs19(vwx250, vwx260, ga, gb, gc)
new_esEs40(vwx62, vwx65, ty_Integer) → new_esEs15(vwx62, vwx65)
new_esEs23(GT, EQ) → False
new_esEs23(EQ, GT) → False
new_esEs10(vwx301, vwx401, app(ty_Ratio, chb)) → new_esEs13(vwx301, vwx401, chb)
new_esEs37(vwx251, vwx261, ty_Int) → new_esEs12(vwx251, vwx261)
new_ltEs6(Left(vwx250), Left(vwx260), app(ty_[], dc), ce) → new_ltEs11(vwx250, vwx260, dc)
new_esEs30(vwx3000, vwx4000, app(ty_Ratio, dhh)) → new_esEs13(vwx3000, vwx4000, dhh)
new_esEs23(EQ, LT) → False
new_esEs23(LT, EQ) → False
new_ltEs5(Just(vwx250), Just(vwx260), ty_Int) → new_ltEs7(vwx250, vwx260)
new_esEs36(vwx250, vwx260, ty_Int) → new_esEs12(vwx250, vwx260)
new_ltEs5(Just(vwx250), Just(vwx260), app(ty_Maybe, bab)) → new_ltEs5(vwx250, vwx260, bab)
new_lt19(vwx250, vwx260, app(app(ty_Either, bah), bba)) → new_lt5(vwx250, vwx260, bah, bba)
new_compare14(vwx30, vwx40, app(app(ty_@2, bd), be)) → new_compare15(vwx30, vwx40, bd, be)
new_lt22(vwx61, vwx64, ty_Char) → new_lt9(vwx61, vwx64)
new_esEs8(vwx300, vwx400, ty_Integer) → new_esEs15(vwx300, vwx400)
new_esEs28(vwx3001, vwx4001, ty_Integer) → new_esEs15(vwx3001, vwx4001)
new_esEs5(vwx300, vwx400, ty_Char) → new_esEs16(vwx300, vwx400)
new_ltEs17(vwx25, vwx26) → new_fsEs(new_compare24(vwx25, vwx26))
new_esEs40(vwx62, vwx65, app(ty_Ratio, fgb)) → new_esEs13(vwx62, vwx65, fgb)
new_esEs31(vwx3001, vwx4001, app(app(ty_Either, ebc), ebd)) → new_esEs14(vwx3001, vwx4001, ebc, ebd)
new_esEs8(vwx300, vwx400, ty_@0) → new_esEs21(vwx300, vwx400)
new_esEs40(vwx62, vwx65, app(app(ty_Either, cbg), cbh)) → new_esEs14(vwx62, vwx65, cbg, cbh)
new_esEs24(Just(vwx3000), Just(vwx4000), app(app(app(ty_@3, fee), fef), feg)) → new_esEs19(vwx3000, vwx4000, fee, fef, feg)
new_lt8(vwx74, vwx76, bge) → new_esEs23(new_compare17(vwx74, vwx76, bge), LT)
new_lt19(vwx250, vwx260, app(app(app(ty_@3, bbh), bca), bcb)) → new_lt10(vwx250, vwx260, bbh, bca, bcb)
new_esEs33(vwx3001, vwx4001, ty_@0) → new_esEs21(vwx3001, vwx4001)
new_compare8(EQ, LT) → GT
new_esEs29(vwx74, vwx76, ty_Ordering) → new_esEs23(vwx74, vwx76)
new_ltEs6(Left(vwx250), Left(vwx260), ty_Int, ce) → new_ltEs7(vwx250, vwx260)
new_esEs10(vwx301, vwx401, ty_Float) → new_esEs18(vwx301, vwx401)
new_lt19(vwx250, vwx260, ty_Bool) → new_lt15(vwx250, vwx260)
new_ltEs19(vwx75, vwx77, ty_@0) → new_ltEs14(vwx75, vwx77)
new_compare111(vwx112, vwx113, False, dfh) → GT
new_esEs8(vwx300, vwx400, app(ty_[], fbb)) → new_esEs20(vwx300, vwx400, fbb)
new_ltEs23(vwx251, vwx261, app(ty_Maybe, ha)) → new_ltEs5(vwx251, vwx261, ha)
new_esEs31(vwx3001, vwx4001, ty_Char) → new_esEs16(vwx3001, vwx4001)
new_ltEs8(LT, GT) → True
new_lt17(vwx74, vwx76) → new_esEs23(new_compare12(vwx74, vwx76), LT)
new_esEs11(vwx302, vwx402, app(ty_Ratio, def)) → new_esEs13(vwx302, vwx402, def)
new_lt19(vwx250, vwx260, ty_@0) → new_lt17(vwx250, vwx260)
new_ltEs24(vwx63, vwx66, ty_Ordering) → new_ltEs8(vwx63, vwx66)
new_esEs37(vwx251, vwx261, ty_Ordering) → new_esEs23(vwx251, vwx261)
new_compare113(vwx139, vwx140, vwx141, vwx142, vwx143, vwx144, False, vwx146, dec, ded, dee) → new_compare110(vwx139, vwx140, vwx141, vwx142, vwx143, vwx144, vwx146, dec, ded, dee)
new_esEs8(vwx300, vwx400, app(ty_Maybe, fbc)) → new_esEs24(vwx300, vwx400, fbc)
new_compare11(vwx30, vwx40) → new_primCmpInt(vwx30, vwx40)
new_esEs18(Float(vwx3000, vwx3001), Float(vwx4000, vwx4001)) → new_esEs12(new_sr(vwx3000, vwx4000), new_sr(vwx3001, vwx4001))
new_esEs32(vwx3000, vwx4000, app(app(ty_@2, eda), edb)) → new_esEs17(vwx3000, vwx4000, eda, edb)
new_esEs23(LT, LT) → True
new_lt22(vwx61, vwx64, app(app(app(ty_@3, cbc), cbd), cbe)) → new_lt10(vwx61, vwx64, cbc, cbd, cbe)
new_primCompAux1(vwx30, vwx40, vwx15, ba) → new_primCompAux0(vwx15, new_compare14(vwx30, vwx40, ba))
new_esEs38(vwx250, vwx260, ty_@0) → new_esEs21(vwx250, vwx260)
new_ltEs23(vwx251, vwx261, app(app(ty_@2, gg), gh)) → new_ltEs9(vwx251, vwx261, gg, gh)
new_esEs4(vwx300, vwx400, app(app(ty_Either, dge), dgf)) → new_esEs14(vwx300, vwx400, dge, dgf)
new_esEs8(vwx300, vwx400, app(app(ty_@2, fae), faf)) → new_esEs17(vwx300, vwx400, fae, faf)
new_esEs5(vwx300, vwx400, app(app(ty_@2, dca), dcb)) → new_esEs17(vwx300, vwx400, dca, dcb)
new_esEs30(vwx3000, vwx4000, ty_Int) → new_esEs12(vwx3000, vwx4000)
new_esEs38(vwx250, vwx260, ty_Ordering) → new_esEs23(vwx250, vwx260)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, app(app(ty_@2, fda), fdb)) → new_esEs17(vwx3000, vwx4000, fda, fdb)
new_esEs14(Left(vwx3000), Left(vwx4000), ty_Char, dgf) → new_esEs16(vwx3000, vwx4000)
new_ltEs6(Right(vwx250), Right(vwx260), dg, ty_Ordering) → new_ltEs8(vwx250, vwx260)
new_lt23(vwx62, vwx65, app(ty_Maybe, ccc)) → new_lt8(vwx62, vwx65, ccc)
new_ltEs19(vwx75, vwx77, ty_Double) → new_ltEs13(vwx75, vwx77)
new_esEs32(vwx3000, vwx4000, ty_@0) → new_esEs21(vwx3000, vwx4000)
new_ltEs6(Left(vwx250), Left(vwx260), ty_@0, ce) → new_ltEs14(vwx250, vwx260)
new_lt23(vwx62, vwx65, ty_Bool) → new_lt15(vwx62, vwx65)
new_esEs4(vwx300, vwx400, ty_Integer) → new_esEs15(vwx300, vwx400)
new_ltEs24(vwx63, vwx66, ty_@0) → new_ltEs14(vwx63, vwx66)
new_ltEs20(vwx32, vwx33, ty_Double) → new_ltEs13(vwx32, vwx33)
new_ltEs24(vwx63, vwx66, app(app(ty_Either, cch), cda)) → new_ltEs6(vwx63, vwx66, cch, cda)
new_esEs30(vwx3000, vwx4000, ty_Integer) → new_esEs15(vwx3000, vwx4000)
new_esEs24(Just(vwx3000), Just(vwx4000), app(app(ty_@2, fec), fed)) → new_esEs17(vwx3000, vwx4000, fec, fed)
new_esEs5(vwx300, vwx400, ty_@0) → new_esEs21(vwx300, vwx400)
new_lt19(vwx250, vwx260, ty_Double) → new_lt6(vwx250, vwx260)
new_compare6(:%(vwx300, vwx301), :%(vwx400, vwx401), ty_Int) → new_compare11(new_sr(vwx300, vwx401), new_sr(vwx400, vwx301))
new_esEs14(Left(vwx3000), Left(vwx4000), app(app(ty_@2, fbg), fbh), dgf) → new_esEs17(vwx3000, vwx4000, fbg, fbh)
new_compare17(Just(vwx300), Nothing, bf) → GT
new_esEs4(vwx300, vwx400, ty_Double) → new_esEs22(vwx300, vwx400)
new_esEs4(vwx300, vwx400, ty_@0) → new_esEs21(vwx300, vwx400)
new_ltEs22(vwx252, vwx262, ty_Bool) → new_ltEs10(vwx252, vwx262)
new_esEs7(vwx301, vwx401, app(ty_[], dbd)) → new_esEs20(vwx301, vwx401, dbd)
new_esEs29(vwx74, vwx76, ty_Char) → new_esEs16(vwx74, vwx76)
new_ltEs23(vwx251, vwx261, app(ty_[], hb)) → new_ltEs11(vwx251, vwx261, hb)
new_lt19(vwx250, vwx260, ty_Float) → new_lt4(vwx250, vwx260)
new_esEs38(vwx250, vwx260, app(app(ty_Either, fa), fb)) → new_esEs14(vwx250, vwx260, fa, fb)
new_compare114(vwx124, vwx125, vwx126, vwx127, True, dgc, dgd) → LT
new_esEs28(vwx3001, vwx4001, ty_Int) → new_esEs12(vwx3001, vwx4001)
new_ltEs8(LT, LT) → True
new_primPlusNat0(Succ(vwx15400), Succ(vwx401000)) → Succ(Succ(new_primPlusNat0(vwx15400, vwx401000)))
new_compare16(False, False) → EQ
new_esEs33(vwx3001, vwx4001, app(ty_[], eeh)) → new_esEs20(vwx3001, vwx4001, eeh)
new_lt20(vwx251, vwx261, app(ty_Maybe, bch)) → new_lt8(vwx251, vwx261, bch)
new_compare0([], :(vwx40, vwx41), ba) → LT
new_esEs9(vwx300, vwx400, ty_Ordering) → new_esEs23(vwx300, vwx400)
new_esEs9(vwx300, vwx400, app(app(ty_Either, cfe), cff)) → new_esEs14(vwx300, vwx400, cfe, cff)
new_ltEs10(True, True) → True
new_esEs6(vwx300, vwx400, ty_Integer) → new_esEs15(vwx300, vwx400)
new_lt23(vwx62, vwx65, ty_Ordering) → new_lt7(vwx62, vwx65)
new_ltEs21(vwx50, vwx51, app(ty_Maybe, bhf)) → new_ltEs5(vwx50, vwx51, bhf)
new_esEs26(LT) → True
new_compare14(vwx30, vwx40, ty_Int) → new_compare11(vwx30, vwx40)
new_asAs(True, vwx92) → vwx92
new_compare25(vwx74, vwx75, vwx76, vwx77, False, bfb, bgd) → new_compare115(vwx74, vwx75, vwx76, vwx77, new_lt13(vwx74, vwx76, bfb), new_asAs(new_esEs29(vwx74, vwx76, bfb), new_ltEs19(vwx75, vwx77, bgd)), bfb, bgd)
new_esEs32(vwx3000, vwx4000, ty_Bool) → new_esEs25(vwx3000, vwx4000)
new_compare112(vwx97, vwx98, True, ffg, ffh) → LT
new_esEs30(vwx3000, vwx4000, app(app(app(ty_@3, eae), eaf), eag)) → new_esEs19(vwx3000, vwx4000, eae, eaf, eag)
new_esEs6(vwx300, vwx400, ty_Float) → new_esEs18(vwx300, vwx400)
new_esEs9(vwx300, vwx400, ty_Double) → new_esEs22(vwx300, vwx400)
new_ltEs23(vwx251, vwx261, ty_Char) → new_ltEs17(vwx251, vwx261)
new_esEs14(Right(vwx3000), Right(vwx4000), dge, ty_Ordering) → new_esEs23(vwx3000, vwx4000)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Ordering) → new_esEs23(vwx3000, vwx4000)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Bool) → new_esEs25(vwx3000, vwx4000)
new_ltEs22(vwx252, vwx262, ty_Double) → new_ltEs13(vwx252, vwx262)
new_ltEs21(vwx50, vwx51, ty_Float) → new_ltEs15(vwx50, vwx51)
new_lt22(vwx61, vwx64, ty_Ordering) → new_lt7(vwx61, vwx64)
new_esEs31(vwx3001, vwx4001, ty_Bool) → new_esEs25(vwx3001, vwx4001)
new_ltEs23(vwx251, vwx261, ty_Int) → new_ltEs7(vwx251, vwx261)
new_esEs29(vwx74, vwx76, ty_@0) → new_esEs21(vwx74, vwx76)
new_esEs24(Just(vwx3000), Just(vwx4000), app(ty_[], feh)) → new_esEs20(vwx3000, vwx4000, feh)
new_esEs31(vwx3001, vwx4001, app(ty_Ratio, ebb)) → new_esEs13(vwx3001, vwx4001, ebb)
new_lt20(vwx251, vwx261, ty_Int) → new_lt14(vwx251, vwx261)
new_compare28(vwx50, vwx51, True, egf) → EQ
new_esEs7(vwx301, vwx401, ty_Bool) → new_esEs25(vwx301, vwx401)
new_esEs6(vwx300, vwx400, app(app(ty_Either, ddb), ddc)) → new_esEs14(vwx300, vwx400, ddb, ddc)
new_lt21(vwx250, vwx260, ty_Integer) → new_lt18(vwx250, vwx260)
new_lt13(vwx74, vwx76, ty_Double) → new_lt6(vwx74, vwx76)
new_lt21(vwx250, vwx260, ty_Int) → new_lt14(vwx250, vwx260)
new_ltEs18(vwx25, vwx26, ty_Ordering) → new_ltEs8(vwx25, vwx26)
new_esEs10(vwx301, vwx401, ty_Char) → new_esEs16(vwx301, vwx401)
new_ltEs21(vwx50, vwx51, app(app(ty_@2, bhd), bhe)) → new_ltEs9(vwx50, vwx51, bhd, bhe)
new_esEs11(vwx302, vwx402, ty_Float) → new_esEs18(vwx302, vwx402)
new_compare29(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, False, cbf, cae, caf) → new_compare113(vwx61, vwx62, vwx63, vwx64, vwx65, vwx66, new_lt22(vwx61, vwx64, cbf), new_asAs(new_esEs39(vwx61, vwx64, cbf), new_pePe(new_lt23(vwx62, vwx65, cae), new_asAs(new_esEs40(vwx62, vwx65, cae), new_ltEs24(vwx63, vwx66, caf)))), cbf, cae, caf)
new_compare8(GT, LT) → GT
new_esEs33(vwx3001, vwx4001, ty_Ordering) → new_esEs23(vwx3001, vwx4001)
new_esEs8(vwx300, vwx400, app(app(ty_Either, fac), fad)) → new_esEs14(vwx300, vwx400, fac, fad)
new_esEs5(vwx300, vwx400, ty_Double) → new_esEs22(vwx300, vwx400)
new_ltEs23(vwx251, vwx261, ty_@0) → new_ltEs14(vwx251, vwx261)
new_ltEs23(vwx251, vwx261, ty_Float) → new_ltEs15(vwx251, vwx261)
new_lt22(vwx61, vwx64, ty_Float) → new_lt4(vwx61, vwx64)
new_esEs39(vwx61, vwx64, ty_Int) → new_esEs12(vwx61, vwx64)
new_primCmpInt(Pos(Zero), Pos(Zero)) → EQ
new_esEs30(vwx3000, vwx4000, ty_Bool) → new_esEs25(vwx3000, vwx4000)
new_primCompAux0(vwx19, EQ) → vwx19
new_lt19(vwx250, vwx260, ty_Int) → new_lt14(vwx250, vwx260)
new_ltEs23(vwx251, vwx261, app(app(ty_Either, ge), gf)) → new_ltEs6(vwx251, vwx261, ge, gf)
new_ltEs21(vwx50, vwx51, ty_Int) → new_ltEs7(vwx50, vwx51)
new_compare114(vwx124, vwx125, vwx126, vwx127, False, dgc, dgd) → GT
new_ltEs19(vwx75, vwx77, app(app(ty_Either, bfc), bfd)) → new_ltEs6(vwx75, vwx77, bfc, bfd)
new_lt19(vwx250, vwx260, ty_Char) → new_lt9(vwx250, vwx260)
new_esEs38(vwx250, vwx260, ty_Integer) → new_esEs15(vwx250, vwx260)
new_esEs4(vwx300, vwx400, app(ty_Ratio, dga)) → new_esEs13(vwx300, vwx400, dga)
new_lt22(vwx61, vwx64, ty_Bool) → new_lt15(vwx61, vwx64)
new_esEs31(vwx3001, vwx4001, ty_@0) → new_esEs21(vwx3001, vwx4001)
new_esEs5(vwx300, vwx400, app(ty_[], dcf)) → new_esEs20(vwx300, vwx400, dcf)
new_ltEs21(vwx50, vwx51, ty_Char) → new_ltEs17(vwx50, vwx51)
new_compare17(Nothing, Nothing, bf) → EQ
new_primEqInt(Neg(Zero), Pos(Zero)) → True
new_primEqInt(Pos(Zero), Neg(Zero)) → True
new_ltEs20(vwx32, vwx33, ty_Char) → new_ltEs17(vwx32, vwx33)
new_esEs27(vwx3000, vwx4000, ty_Integer) → new_esEs15(vwx3000, vwx4000)
new_primCmpInt(Neg(Succ(vwx3000)), Pos(vwx400)) → LT
new_esEs10(vwx301, vwx401, app(ty_[], dab)) → new_esEs20(vwx301, vwx401, dab)
new_esEs7(vwx301, vwx401, ty_Ordering) → new_esEs23(vwx301, vwx401)
new_ltEs5(Just(vwx250), Just(vwx260), app(ty_[], bac)) → new_ltEs11(vwx250, vwx260, bac)
new_not(True) → False
new_esEs40(vwx62, vwx65, ty_@0) → new_esEs21(vwx62, vwx65)

The set Q consists of the following terms:

new_lt5(x0, x1, x2, x3)
new_esEs24(Just(x0), Just(x1), ty_@0)
new_ltEs5(Nothing, Just(x0), x1)
new_compare8(EQ, LT)
new_compare8(LT, EQ)
new_esEs6(x0, x1, app(ty_Ratio, x2))
new_esEs5(x0, x1, ty_Float)
new_primEqInt(Neg(Succ(x0)), Pos(x1))
new_primEqInt(Pos(Succ(x0)), Neg(x1))
new_lt23(x0, x1, ty_Ordering)
new_compare17(Just(x0), Nothing, x1)
new_esEs14(Right(x0), Right(x1), x2, ty_Char)
new_compare16(True, False)
new_compare16(False, True)
new_esEs8(x0, x1, ty_@0)
new_primPlusNat1(Zero, x0)
new_ltEs20(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs6(Right(x0), Right(x1), x2, ty_Int)
new_esEs33(x0, x1, ty_Int)
new_compare14(x0, x1, app(app(ty_@2, x2), x3))
new_lt6(x0, x1)
new_esEs6(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs23(x0, x1, ty_Int)
new_esEs35(x0, x1, app(ty_Ratio, x2))
new_esEs34(x0, x1, ty_Bool)
new_esEs38(x0, x1, app(ty_[], x2))
new_esEs30(x0, x1, ty_Ordering)
new_ltEs5(Just(x0), Just(x1), ty_Ordering)
new_esEs4(x0, x1, ty_Double)
new_lt13(x0, x1, ty_Bool)
new_esEs6(x0, x1, ty_Int)
new_primCmpInt(Neg(Succ(x0)), Pos(x1))
new_primCmpInt(Pos(Succ(x0)), Neg(x1))
new_lt21(x0, x1, app(app(ty_@2, x2), x3))
new_esEs39(x0, x1, ty_Bool)
new_esEs34(x0, x1, ty_@0)
new_ltEs18(x0, x1, ty_Bool)
new_esEs39(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs21(x0, x1, app(ty_Maybe, x2))
new_esEs14(Left(x0), Left(x1), ty_Int, x2)
new_esEs31(x0, x1, app(ty_Ratio, x2))
new_lt20(x0, x1, ty_Integer)
new_ltEs8(EQ, EQ)
new_ltEs24(x0, x1, app(app(ty_Either, x2), x3))
new_esEs25(True, False)
new_esEs25(False, True)
new_ltEs23(x0, x1, ty_Float)
new_compare111(x0, x1, True, x2)
new_ltEs6(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_esEs23(EQ, LT)
new_esEs23(LT, EQ)
new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
new_compare17(Nothing, Nothing, x0)
new_ltEs23(x0, x1, app(app(ty_Either, x2), x3))
new_compare6(:%(x0, x1), :%(x2, x3), ty_Integer)
new_lt22(x0, x1, app(ty_[], x2))
new_esEs20(:(x0, x1), [], x2)
new_esEs24(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_compare14(x0, x1, ty_Bool)
new_esEs14(Right(x0), Left(x1), x2, x3)
new_esEs14(Left(x0), Right(x1), x2, x3)
new_esEs29(x0, x1, app(ty_Ratio, x2))
new_esEs29(x0, x1, ty_Ordering)
new_esEs23(EQ, EQ)
new_compare112(x0, x1, True, x2, x3)
new_esEs34(x0, x1, app(ty_Maybe, x2))
new_esEs23(GT, EQ)
new_esEs23(EQ, GT)
new_compare13(Left(x0), Right(x1), x2, x3)
new_compare13(Right(x0), Left(x1), x2, x3)
new_compare6(:%(x0, x1), :%(x2, x3), ty_Int)
new_esEs30(x0, x1, ty_Int)
new_ltEs20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs11(x0, x1, ty_Double)
new_esEs10(x0, x1, ty_Char)
new_esEs11(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs5(Just(x0), Just(x1), app(ty_Ratio, x2))
new_ltEs6(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_lt21(x0, x1, ty_Int)
new_esEs4(x0, x1, ty_Char)
new_primEqInt(Neg(Zero), Pos(Succ(x0)))
new_primEqInt(Pos(Zero), Neg(Succ(x0)))
new_compare14(x0, x1, ty_Double)
new_compare115(x0, x1, x2, x3, False, x4, x5, x6)
new_lt23(x0, x1, ty_Char)
new_ltEs20(x0, x1, ty_Double)
new_ltEs5(Just(x0), Just(x1), ty_Char)
new_esEs7(x0, x1, ty_Int)
new_esEs8(x0, x1, ty_Bool)
new_esEs7(x0, x1, ty_Bool)
new_ltEs6(Left(x0), Left(x1), app(ty_[], x2), x3)
new_ltEs18(x0, x1, ty_Integer)
new_esEs6(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare13(Left(x0), Left(x1), x2, x3)
new_esEs37(x0, x1, ty_Ordering)
new_ltEs5(Just(x0), Just(x1), ty_Integer)
new_lt23(x0, x1, ty_@0)
new_lt23(x0, x1, ty_Bool)
new_compare115(x0, x1, x2, x3, True, x4, x5, x6)
new_ltEs18(x0, x1, ty_Int)
new_ltEs21(x0, x1, app(ty_Ratio, x2))
new_compare114(x0, x1, x2, x3, True, x4, x5)
new_ltEs6(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_esEs35(x0, x1, ty_Int)
new_esEs9(x0, x1, ty_Double)
new_ltEs19(x0, x1, ty_Float)
new_esEs5(x0, x1, ty_Int)
new_esEs24(Just(x0), Just(x1), ty_Bool)
new_ltEs5(Just(x0), Just(x1), app(ty_Maybe, x2))
new_compare17(Nothing, Just(x0), x1)
new_esEs14(Left(x0), Left(x1), ty_@0, x2)
new_esEs5(x0, x1, app(ty_[], x2))
new_lt21(x0, x1, ty_Char)
new_ltEs19(x0, x1, ty_Integer)
new_esEs14(Left(x0), Left(x1), ty_Double, x2)
new_esEs37(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs14(Right(x0), Right(x1), x2, ty_Float)
new_lt21(x0, x1, app(app(ty_Either, x2), x3))
new_esEs34(x0, x1, ty_Integer)
new_fsEs(x0)
new_esEs8(x0, x1, ty_Float)
new_esEs36(x0, x1, ty_Char)
new_compare14(x0, x1, ty_@0)
new_ltEs21(x0, x1, ty_@0)
new_lt20(x0, x1, ty_Ordering)
new_lt19(x0, x1, ty_Integer)
new_esEs33(x0, x1, app(ty_Ratio, x2))
new_esEs11(x0, x1, ty_Float)
new_esEs30(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs39(x0, x1, app(app(ty_Either, x2), x3))
new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
new_lt19(x0, x1, ty_Bool)
new_esEs10(x0, x1, ty_Int)
new_compare114(x0, x1, x2, x3, False, x4, x5)
new_esEs34(x0, x1, ty_Int)
new_compare13(Right(x0), Right(x1), x2, x3)
new_ltEs6(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_lt19(x0, x1, ty_Char)
new_lt23(x0, x1, app(ty_Maybe, x2))
new_esEs38(x0, x1, ty_Ordering)
new_esEs28(x0, x1, ty_Integer)
new_esEs36(x0, x1, app(ty_Maybe, x2))
new_lt23(x0, x1, app(ty_Ratio, x2))
new_esEs8(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs22(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs20(x0, x1, ty_Char)
new_lt10(x0, x1, x2, x3, x4)
new_ltEs21(x0, x1, app(ty_[], x2))
new_ltEs5(Just(x0), Just(x1), app(ty_[], x2))
new_lt14(x0, x1)
new_compare110(x0, x1, x2, x3, x4, x5, True, x6, x7, x8)
new_lt23(x0, x1, app(ty_[], x2))
new_ltEs24(x0, x1, ty_Double)
new_esEs30(x0, x1, app(ty_[], x2))
new_lt23(x0, x1, app(app(ty_@2, x2), x3))
new_asAs(True, x0)
new_esEs14(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_esEs35(x0, x1, ty_Char)
new_lt9(x0, x1)
new_esEs31(x0, x1, app(app(ty_@2, x2), x3))
new_esEs31(x0, x1, app(ty_Maybe, x2))
new_esEs20([], [], x0)
new_ltEs5(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_lt22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs14(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_esEs32(x0, x1, ty_Ordering)
new_primEqNat0(Zero, Zero)
new_ltEs19(x0, x1, app(app(ty_Either, x2), x3))
new_esEs32(x0, x1, ty_Double)
new_primPlusNat1(Succ(x0), x1)
new_esEs29(x0, x1, ty_@0)
new_esEs26(EQ)
new_ltEs6(Right(x0), Right(x1), x2, ty_Ordering)
new_esEs32(x0, x1, app(ty_Maybe, x2))
new_lt13(x0, x1, app(app(ty_Either, x2), x3))
new_esEs11(x0, x1, ty_@0)
new_lt19(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs19(x0, x1, ty_Ordering)
new_esEs31(x0, x1, ty_Double)
new_ltEs6(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_ltEs22(x0, x1, ty_Float)
new_esEs8(x0, x1, app(ty_[], x2))
new_lt13(x0, x1, ty_Integer)
new_esEs9(x0, x1, app(ty_Maybe, x2))
new_lt11(x0, x1, x2, x3)
new_lt23(x0, x1, ty_Int)
new_esEs5(x0, x1, ty_Ordering)
new_esEs30(x0, x1, ty_@0)
new_esEs38(x0, x1, ty_Int)
new_esEs10(x0, x1, app(ty_[], x2))
new_compare12(@0, @0)
new_lt12(x0, x1, x2)
new_ltEs6(Right(x0), Right(x1), x2, ty_Double)
new_lt13(x0, x1, ty_Float)
new_esEs5(x0, x1, ty_Char)
new_esEs29(x0, x1, ty_Double)
new_compare27(x0, x1, True, x2, x3)
new_compare111(x0, x1, False, x2)
new_primEqInt(Neg(Succ(x0)), Neg(Zero))
new_ltEs19(x0, x1, app(ty_Maybe, x2))
new_esEs9(x0, x1, app(app(ty_Either, x2), x3))
new_esEs14(Right(x0), Right(x1), x2, app(ty_[], x3))
new_esEs32(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs17(x0, x1)
new_primMulNat0(Zero, Zero)
new_esEs6(x0, x1, app(app(ty_@2, x2), x3))
new_lt23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs23(x0, x1, app(ty_Ratio, x2))
new_ltEs5(Just(x0), Nothing, x1)
new_esEs40(x0, x1, app(app(ty_Either, x2), x3))
new_esEs8(x0, x1, app(ty_Ratio, x2))
new_esEs32(x0, x1, ty_Bool)
new_compare24(Char(x0), Char(x1))
new_esEs8(x0, x1, app(ty_Maybe, x2))
new_esEs32(x0, x1, app(app(ty_Either, x2), x3))
new_compare0(:(x0, x1), :(x2, x3), x4)
new_esEs6(x0, x1, ty_Float)
new_esEs14(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_compare29(x0, x1, x2, x3, x4, x5, False, x6, x7, x8)
new_esEs9(x0, x1, ty_Float)
new_esEs26(GT)
new_esEs24(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_primEqNat0(Succ(x0), Succ(x1))
new_esEs39(x0, x1, ty_Float)
new_lt13(x0, x1, ty_Int)
new_esEs36(x0, x1, app(app(ty_Either, x2), x3))
new_esEs14(Right(x0), Right(x1), x2, ty_Bool)
new_lt13(x0, x1, ty_Ordering)
new_compare7(Double(x0, x1), Double(x2, x3))
new_ltEs23(x0, x1, app(app(ty_@2, x2), x3))
new_primMulInt(Pos(x0), Pos(x1))
new_esEs30(x0, x1, ty_Char)
new_ltEs16(x0, x1)
new_ltEs18(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs20(x0, x1, app(ty_Maybe, x2))
new_esEs7(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs23(x0, x1, ty_@0)
new_lt13(x0, x1, app(ty_Maybe, x2))
new_esEs33(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs39(x0, x1, ty_Ordering)
new_esEs34(x0, x1, app(app(ty_Either, x2), x3))
new_compare28(x0, x1, True, x2)
new_esEs31(x0, x1, app(app(ty_Either, x2), x3))
new_esEs25(True, True)
new_esEs35(x0, x1, ty_Bool)
new_ltEs18(x0, x1, app(ty_Ratio, x2))
new_lt21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs21(x0, x1, ty_Bool)
new_esEs14(Left(x0), Left(x1), ty_Char, x2)
new_esEs33(x0, x1, ty_Integer)
new_esEs37(x0, x1, ty_Bool)
new_esEs11(x0, x1, ty_Char)
new_lt19(x0, x1, ty_Ordering)
new_primCompAux0(x0, LT)
new_esEs16(Char(x0), Char(x1))
new_ltEs23(x0, x1, app(ty_[], x2))
new_primCmpInt(Pos(Zero), Pos(Succ(x0)))
new_esEs5(x0, x1, app(ty_Ratio, x2))
new_ltEs20(x0, x1, ty_Ordering)
new_ltEs20(x0, x1, ty_Integer)
new_lt21(x0, x1, app(ty_Maybe, x2))
new_ltEs19(x0, x1, app(ty_Ratio, x2))
new_compare8(EQ, EQ)
new_esEs11(x0, x1, app(ty_[], x2))
new_esEs8(x0, x1, ty_Char)
new_ltEs22(x0, x1, ty_@0)
new_ltEs4(x0, x1, x2)
new_esEs32(x0, x1, ty_Integer)
new_esEs38(x0, x1, app(ty_Ratio, x2))
new_esEs11(x0, x1, app(ty_Maybe, x2))
new_esEs19(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs9(x0, x1, ty_Integer)
new_lt18(x0, x1)
new_lt7(x0, x1)
new_esEs10(x0, x1, app(app(ty_@2, x2), x3))
new_compare9(Float(x0, x1), Float(x2, x3))
new_esEs39(x0, x1, ty_Int)
new_compare14(x0, x1, app(ty_[], x2))
new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs23(x0, x1, ty_Double)
new_esEs5(x0, x1, ty_Double)
new_esEs5(x0, x1, app(app(ty_Either, x2), x3))
new_esEs38(x0, x1, app(ty_Maybe, x2))
new_esEs35(x0, x1, app(app(ty_@2, x2), x3))
new_esEs6(x0, x1, app(ty_[], x2))
new_compare16(True, True)
new_lt21(x0, x1, ty_@0)
new_esEs38(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs24(x0, x1, app(ty_Maybe, x2))
new_esEs30(x0, x1, app(app(ty_Either, x2), x3))
new_esEs37(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs19(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs22(x0, x1, app(ty_[], x2))
new_ltEs21(x0, x1, app(app(ty_Either, x2), x3))
new_primCmpInt(Pos(Zero), Neg(Succ(x0)))
new_primCmpInt(Neg(Zero), Pos(Succ(x0)))
new_esEs7(x0, x1, ty_Char)
new_esEs7(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs14(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_ltEs22(x0, x1, ty_Ordering)
new_compare0([], [], x0)
new_ltEs6(Left(x0), Right(x1), x2, x3)
new_ltEs6(Right(x0), Left(x1), x2, x3)
new_ltEs22(x0, x1, ty_Double)
new_esEs29(x0, x1, app(app(ty_Either, x2), x3))
new_esEs14(Right(x0), Right(x1), x2, ty_Int)
new_esEs37(x0, x1, ty_Char)
new_esEs37(x0, x1, ty_Int)
new_esEs8(x0, x1, ty_Ordering)
new_esEs23(GT, LT)
new_esEs23(LT, GT)
new_lt21(x0, x1, ty_Bool)
new_esEs32(x0, x1, app(ty_[], x2))
new_ltEs6(Left(x0), Left(x1), ty_Ordering, x2)
new_primEqInt(Neg(Zero), Neg(Succ(x0)))
new_ltEs23(x0, x1, app(ty_Maybe, x2))
new_primPlusNat0(Succ(x0), Zero)
new_ltEs7(x0, x1)
new_esEs33(x0, x1, ty_Float)
new_ltEs19(x0, x1, app(ty_[], x2))
new_esEs6(x0, x1, ty_Char)
new_esEs6(x0, x1, ty_Bool)
new_esEs31(x0, x1, ty_@0)
new_esEs38(x0, x1, ty_Double)
new_esEs5(x0, x1, ty_Bool)
new_primCmpInt(Neg(Succ(x0)), Neg(x1))
new_esEs40(x0, x1, ty_Float)
new_lt17(x0, x1)
new_primPlusNat0(Zero, Zero)
new_sr(x0, x1)
new_esEs38(x0, x1, ty_Integer)
new_esEs6(x0, x1, ty_Integer)
new_esEs38(x0, x1, ty_Bool)
new_esEs8(x0, x1, ty_Integer)
new_esEs18(Float(x0, x1), Float(x2, x3))
new_pePe(False, x0)
new_ltEs10(False, False)
new_lt13(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare25(x0, x1, x2, x3, False, x4, x5)
new_ltEs6(Right(x0), Right(x1), x2, app(ty_[], x3))
new_esEs36(x0, x1, ty_Bool)
new_compare28(x0, x1, False, x2)
new_lt20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs20(x0, x1, ty_Bool)
new_compare29(x0, x1, x2, x3, x4, x5, True, x6, x7, x8)
new_esEs36(x0, x1, app(ty_Ratio, x2))
new_lt22(x0, x1, ty_Float)
new_compare10(x0, x1, False, x2, x3)
new_primEqInt(Pos(Succ(x0)), Pos(Zero))
new_esEs24(Just(x0), Just(x1), ty_Integer)
new_compare8(GT, EQ)
new_compare8(EQ, GT)
new_esEs10(x0, x1, app(app(ty_Either, x2), x3))
new_primCmpInt(Neg(Zero), Neg(Zero))
new_esEs39(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs33(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs21(x0, x1, ty_Double)
new_esEs28(x0, x1, ty_Int)
new_esEs4(x0, x1, ty_Float)
new_esEs15(Integer(x0), Integer(x1))
new_ltEs20(x0, x1, ty_@0)
new_ltEs6(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_esEs17(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs37(x0, x1, app(ty_[], x2))
new_ltEs18(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs24(x0, x1, ty_Integer)
new_esEs4(x0, x1, ty_@0)
new_lt22(x0, x1, app(ty_Ratio, x2))
new_ltEs24(x0, x1, ty_Float)
new_ltEs5(Nothing, Nothing, x0)
new_compare14(x0, x1, ty_Char)
new_esEs39(x0, x1, app(ty_[], x2))
new_esEs36(x0, x1, ty_Ordering)
new_esEs27(x0, x1, ty_Integer)
new_primMulNat0(Zero, Succ(x0))
new_lt19(x0, x1, ty_Float)
new_esEs29(x0, x1, ty_Bool)
new_ltEs19(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs10(x0, x1, ty_Float)
new_esEs36(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs31(x0, x1, app(ty_[], x2))
new_ltEs6(Right(x0), Right(x1), x2, ty_Char)
new_lt19(x0, x1, ty_Double)
new_primPlusNat0(Zero, Succ(x0))
new_esEs37(x0, x1, app(ty_Maybe, x2))
new_esEs36(x0, x1, ty_Double)
new_ltEs21(x0, x1, ty_Ordering)
new_esEs34(x0, x1, app(ty_Ratio, x2))
new_esEs32(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs24(x0, x1, app(ty_[], x2))
new_esEs30(x0, x1, ty_Integer)
new_primCompAux0(x0, EQ)
new_compare19(Integer(x0), Integer(x1))
new_esEs11(x0, x1, ty_Ordering)
new_lt21(x0, x1, app(ty_[], x2))
new_esEs30(x0, x1, app(app(ty_@2, x2), x3))
new_esEs6(x0, x1, ty_Ordering)
new_lt20(x0, x1, app(app(ty_Either, x2), x3))
new_esEs30(x0, x1, ty_Bool)
new_ltEs24(x0, x1, ty_Bool)
new_esEs14(Right(x0), Right(x1), x2, ty_Ordering)
new_compare14(x0, x1, ty_Float)
new_ltEs22(x0, x1, ty_Integer)
new_ltEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_lt20(x0, x1, ty_Float)
new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
new_compare16(False, False)
new_esEs11(x0, x1, app(ty_Ratio, x2))
new_ltEs22(x0, x1, app(ty_Maybe, x2))
new_esEs33(x0, x1, ty_Double)
new_esEs11(x0, x1, ty_Integer)
new_compare15(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs34(x0, x1, ty_Double)
new_esEs37(x0, x1, ty_Float)
new_primEqInt(Neg(Zero), Pos(Zero))
new_primEqInt(Pos(Zero), Neg(Zero))
new_esEs7(x0, x1, ty_Ordering)
new_pePe(True, x0)
new_esEs36(x0, x1, ty_Int)
new_compare11(x0, x1)
new_esEs6(x0, x1, ty_Double)
new_esEs32(x0, x1, app(ty_Ratio, x2))
new_esEs40(x0, x1, app(ty_Maybe, x2))
new_esEs9(x0, x1, app(app(ty_@2, x2), x3))
new_esEs33(x0, x1, app(ty_[], x2))
new_esEs10(x0, x1, app(ty_Maybe, x2))
new_esEs5(x0, x1, app(ty_Maybe, x2))
new_esEs14(Left(x0), Left(x1), app(ty_[], x2), x3)
new_esEs8(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs20(x0, x1, app(ty_Ratio, x2))
new_ltEs5(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_lt21(x0, x1, app(ty_Ratio, x2))
new_ltEs18(x0, x1, app(ty_Maybe, x2))
new_esEs35(x0, x1, app(ty_[], x2))
new_ltEs8(LT, EQ)
new_esEs39(x0, x1, ty_@0)
new_ltEs8(EQ, LT)
new_ltEs5(Just(x0), Just(x1), ty_Int)
new_esEs10(x0, x1, ty_Double)
new_lt23(x0, x1, ty_Float)
new_esEs35(x0, x1, ty_Double)
new_esEs39(x0, x1, app(ty_Maybe, x2))
new_esEs9(x0, x1, ty_Int)
new_esEs39(x0, x1, ty_Integer)
new_primCmpInt(Pos(Zero), Pos(Zero))
new_esEs33(x0, x1, app(app(ty_@2, x2), x3))
new_esEs14(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_ltEs12(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs39(x0, x1, app(ty_Ratio, x2))
new_ltEs5(Just(x0), Just(x1), ty_Double)
new_esEs27(x0, x1, ty_Int)
new_esEs23(LT, LT)
new_ltEs19(x0, x1, ty_Char)
new_lt19(x0, x1, app(app(ty_Either, x2), x3))
new_esEs36(x0, x1, ty_Float)
new_esEs24(Nothing, Just(x0), x1)
new_primEqInt(Neg(Zero), Neg(Zero))
new_esEs14(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_ltEs6(Left(x0), Left(x1), ty_Char, x2)
new_esEs40(x0, x1, ty_Ordering)
new_lt23(x0, x1, ty_Double)
new_esEs10(x0, x1, ty_Ordering)
new_esEs14(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_esEs5(x0, x1, app(app(ty_@2, x2), x3))
new_esEs12(x0, x1)
new_esEs5(x0, x1, ty_@0)
new_esEs7(x0, x1, ty_Integer)
new_primPlusNat0(Succ(x0), Succ(x1))
new_esEs11(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs4(x0, x1, ty_Integer)
new_esEs34(x0, x1, ty_Ordering)
new_lt22(x0, x1, ty_Double)
new_ltEs22(x0, x1, ty_Bool)
new_lt23(x0, x1, app(app(ty_Either, x2), x3))
new_lt8(x0, x1, x2)
new_ltEs21(x0, x1, app(app(ty_@2, x2), x3))
new_esEs11(x0, x1, ty_Int)
new_ltEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs33(x0, x1, app(ty_Maybe, x2))
new_esEs36(x0, x1, ty_@0)
new_esEs40(x0, x1, ty_Int)
new_esEs40(x0, x1, ty_Double)
new_esEs37(x0, x1, app(ty_Ratio, x2))
new_compare14(x0, x1, app(ty_Maybe, x2))
new_esEs35(x0, x1, ty_Ordering)
new_lt19(x0, x1, app(ty_Maybe, x2))
new_compare8(GT, LT)
new_compare8(LT, GT)
new_primCmpNat0(Zero, Succ(x0))
new_esEs11(x0, x1, ty_Bool)
new_esEs38(x0, x1, ty_Float)
new_compare112(x0, x1, False, x2, x3)
new_ltEs15(x0, x1)
new_esEs36(x0, x1, app(app(ty_@2, x2), x3))
new_esEs31(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs11(x0, x1, x2)
new_lt16(x0, x1, x2)
new_esEs35(x0, x1, app(ty_Maybe, x2))
new_compare26(x0, x1, True, x2, x3)
new_ltEs6(Left(x0), Left(x1), ty_Int, x2)
new_lt13(x0, x1, app(app(ty_@2, x2), x3))
new_esEs36(x0, x1, app(ty_[], x2))
new_ltEs19(x0, x1, ty_Bool)
new_lt20(x0, x1, app(ty_Maybe, x2))
new_compare10(x0, x1, True, x2, x3)
new_compare14(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs24(x0, x1, ty_Int)
new_esEs24(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_ltEs24(x0, x1, ty_@0)
new_primEqNat0(Succ(x0), Zero)
new_esEs8(x0, x1, ty_Int)
new_ltEs22(x0, x1, app(app(ty_@2, x2), x3))
new_compare14(x0, x1, app(ty_Ratio, x2))
new_lt21(x0, x1, ty_Ordering)
new_esEs14(Right(x0), Right(x1), x2, ty_Integer)
new_esEs37(x0, x1, ty_@0)
new_esEs20([], :(x0, x1), x2)
new_lt13(x0, x1, ty_Char)
new_esEs31(x0, x1, ty_Float)
new_lt20(x0, x1, ty_Bool)
new_esEs24(Just(x0), Just(x1), ty_Ordering)
new_ltEs6(Left(x0), Left(x1), ty_Integer, x2)
new_esEs4(x0, x1, app(ty_Maybe, x2))
new_ltEs21(x0, x1, ty_Integer)
new_esEs7(x0, x1, ty_@0)
new_ltEs20(x0, x1, app(ty_[], x2))
new_esEs4(x0, x1, app(ty_Ratio, x2))
new_primMulNat0(Succ(x0), Succ(x1))
new_esEs38(x0, x1, app(app(ty_@2, x2), x3))
new_esEs7(x0, x1, app(ty_Maybe, x2))
new_esEs26(LT)
new_esEs38(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs8(LT, LT)
new_ltEs5(Just(x0), Just(x1), ty_Float)
new_esEs14(Right(x0), Right(x1), x2, ty_@0)
new_primCmpNat0(Zero, Zero)
new_esEs9(x0, x1, app(ty_Ratio, x2))
new_esEs7(x0, x1, app(ty_Ratio, x2))
new_esEs9(x0, x1, ty_Ordering)
new_ltEs6(Left(x0), Left(x1), ty_Double, x2)
new_lt20(x0, x1, app(ty_Ratio, x2))
new_esEs20(:(x0, x1), :(x2, x3), x4)
new_esEs33(x0, x1, ty_Ordering)
new_esEs40(x0, x1, ty_Integer)
new_esEs34(x0, x1, ty_Char)
new_asAs(False, x0)
new_lt19(x0, x1, ty_Int)
new_ltEs8(GT, GT)
new_esEs9(x0, x1, app(ty_[], x2))
new_compare14(x0, x1, ty_Ordering)
new_esEs35(x0, x1, ty_Integer)
new_lt19(x0, x1, app(ty_Ratio, x2))
new_esEs30(x0, x1, app(ty_Maybe, x2))
new_ltEs10(True, True)
new_esEs29(x0, x1, app(ty_Maybe, x2))
new_lt21(x0, x1, ty_Integer)
new_esEs35(x0, x1, ty_Float)
new_esEs11(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs21(x0, x1, ty_Float)
new_esEs29(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_lt20(x0, x1, app(app(ty_@2, x2), x3))
new_lt22(x0, x1, app(ty_Maybe, x2))
new_ltEs6(Left(x0), Left(x1), ty_Bool, x2)
new_ltEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs23(x0, x1, ty_Char)
new_esEs14(Left(x0), Left(x1), ty_Bool, x2)
new_ltEs20(x0, x1, ty_Int)
new_esEs4(x0, x1, ty_Int)
new_esEs33(x0, x1, ty_@0)
new_lt22(x0, x1, ty_Bool)
new_esEs24(Just(x0), Nothing, x1)
new_esEs9(x0, x1, ty_Char)
new_esEs4(x0, x1, ty_Bool)
new_compare8(GT, GT)
new_esEs9(x0, x1, ty_@0)
new_ltEs21(x0, x1, ty_Char)
new_esEs40(x0, x1, app(ty_Ratio, x2))
new_esEs14(Left(x0), Left(x1), ty_Ordering, x2)
new_esEs30(x0, x1, ty_Double)
new_esEs31(x0, x1, ty_Bool)
new_esEs25(False, False)
new_ltEs9(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs40(x0, x1, app(ty_[], x2))
new_esEs14(Left(x0), Left(x1), ty_Float, x2)
new_lt21(x0, x1, ty_Float)
new_compare25(x0, x1, x2, x3, True, x4, x5)
new_compare18(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs35(x0, x1, ty_@0)
new_esEs9(x0, x1, ty_Bool)
new_ltEs18(x0, x1, ty_@0)
new_compare110(x0, x1, x2, x3, x4, x5, False, x6, x7, x8)
new_esEs7(x0, x1, ty_Float)
new_esEs30(x0, x1, ty_Float)
new_lt22(x0, x1, ty_Integer)
new_esEs38(x0, x1, ty_@0)
new_primMulNat0(Succ(x0), Zero)
new_compare14(x0, x1, ty_Integer)
new_ltEs22(x0, x1, app(ty_Ratio, x2))
new_compare8(LT, LT)
new_ltEs5(Just(x0), Just(x1), ty_@0)
new_lt19(x0, x1, ty_@0)
new_ltEs8(LT, GT)
new_ltEs8(GT, LT)
new_esEs30(x0, x1, app(ty_Ratio, x2))
new_ltEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs29(x0, x1, ty_Int)
new_compare14(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_lt20(x0, x1, ty_Char)
new_ltEs6(Left(x0), Left(x1), ty_@0, x2)
new_primCmpNat0(Succ(x0), Succ(x1))
new_esEs40(x0, x1, ty_Char)
new_esEs4(x0, x1, app(ty_[], x2))
new_compare17(Just(x0), Just(x1), x2)
new_ltEs5(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_esEs37(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs23(x0, x1, ty_Ordering)
new_esEs24(Just(x0), Just(x1), app(ty_Ratio, x2))
new_ltEs24(x0, x1, app(ty_Ratio, x2))
new_esEs5(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs22(x0, x1, ty_Int)
new_not(True)
new_compare14(x0, x1, ty_Int)
new_lt20(x0, x1, ty_@0)
new_esEs7(x0, x1, app(ty_[], x2))
new_esEs32(x0, x1, ty_Int)
new_ltEs18(x0, x1, ty_Double)
new_esEs29(x0, x1, ty_Float)
new_esEs29(x0, x1, ty_Char)
new_esEs31(x0, x1, ty_Char)
new_esEs39(x0, x1, ty_Char)
new_esEs24(Just(x0), Just(x1), ty_Int)
new_esEs40(x0, x1, ty_@0)
new_ltEs13(x0, x1)
new_ltEs18(x0, x1, ty_Char)
new_ltEs20(x0, x1, app(app(ty_@2, x2), x3))
new_primCmpInt(Neg(Zero), Pos(Zero))
new_primCmpInt(Pos(Zero), Neg(Zero))
new_not(False)
new_ltEs6(Left(x0), Left(x1), ty_Float, x2)
new_esEs29(x0, x1, app(ty_[], x2))
new_primEqInt(Pos(Zero), Pos(Succ(x0)))
new_primMulInt(Neg(x0), Pos(x1))
new_primMulInt(Pos(x0), Neg(x1))
new_lt13(x0, x1, ty_@0)
new_ltEs18(x0, x1, ty_Ordering)
new_esEs7(x0, x1, ty_Double)
new_ltEs6(Right(x0), Right(x1), x2, ty_Float)
new_lt19(x0, x1, app(ty_[], x2))
new_esEs8(x0, x1, app(app(ty_@2, x2), x3))
new_compare27(x0, x1, False, x2, x3)
new_esEs14(Left(x0), Left(x1), ty_Integer, x2)
new_lt22(x0, x1, ty_Int)
new_esEs34(x0, x1, ty_Float)
new_esEs14(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_lt22(x0, x1, ty_@0)
new_esEs10(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs5(Just(x0), Just(x1), ty_Bool)
new_esEs32(x0, x1, ty_Char)
new_esEs10(x0, x1, ty_Integer)
new_esEs14(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_ltEs6(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_ltEs18(x0, x1, app(ty_[], x2))
new_sr0(Integer(x0), Integer(x1))
new_primCompAux1(x0, x1, x2, x3)
new_esEs9(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs6(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_ltEs19(x0, x1, ty_Int)
new_primCmpInt(Neg(Zero), Neg(Succ(x0)))
new_esEs24(Nothing, Nothing, x0)
new_esEs21(@0, @0)
new_ltEs19(x0, x1, ty_Double)
new_lt13(x0, x1, app(ty_Ratio, x2))
new_esEs31(x0, x1, ty_Ordering)
new_primEqNat0(Zero, Succ(x0))
new_esEs37(x0, x1, ty_Integer)
new_ltEs21(x0, x1, ty_Int)
new_esEs38(x0, x1, ty_Char)
new_esEs4(x0, x1, ty_Ordering)
new_esEs24(Just(x0), Just(x1), app(ty_[], x2))
new_compare0(:(x0, x1), [], x2)
new_esEs40(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs19(x0, x1, ty_@0)
new_esEs24(Just(x0), Just(x1), ty_Float)
new_esEs14(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_ltEs6(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_lt20(x0, x1, ty_Double)
new_lt22(x0, x1, ty_Char)
new_esEs6(x0, x1, ty_@0)
new_ltEs10(True, False)
new_ltEs8(EQ, GT)
new_ltEs10(False, True)
new_ltEs8(GT, EQ)
new_ltEs24(x0, x1, app(app(ty_@2, x2), x3))
new_lt22(x0, x1, ty_Ordering)
new_lt20(x0, x1, ty_Int)
new_compare0([], :(x0, x1), x2)
new_primMulInt(Neg(x0), Neg(x1))
new_esEs37(x0, x1, ty_Double)
new_ltEs23(x0, x1, ty_Bool)
new_esEs31(x0, x1, ty_Int)
new_esEs24(Just(x0), Just(x1), app(ty_Maybe, x2))
new_esEs31(x0, x1, ty_Integer)
new_ltEs24(x0, x1, ty_Ordering)
new_esEs14(Right(x0), Right(x1), x2, ty_Double)
new_esEs35(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs22(x0, x1, ty_Char)
new_esEs10(x0, x1, app(ty_Ratio, x2))
new_esEs40(x0, x1, ty_Bool)
new_primCompAux0(x0, GT)
new_lt13(x0, x1, app(ty_[], x2))
new_esEs29(x0, x1, app(app(ty_@2, x2), x3))
new_esEs10(x0, x1, ty_@0)
new_lt19(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primEqInt(Pos(Zero), Pos(Zero))
new_esEs36(x0, x1, ty_Integer)
new_ltEs6(Right(x0), Right(x1), x2, ty_@0)
new_compare113(x0, x1, x2, x3, x4, x5, False, x6, x7, x8, x9)
new_esEs29(x0, x1, ty_Integer)
new_esEs24(Just(x0), Just(x1), ty_Double)
new_esEs34(x0, x1, app(ty_[], x2))
new_ltEs24(x0, x1, ty_Char)
new_lt22(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs18(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs39(x0, x1, ty_Double)
new_ltEs18(x0, x1, ty_Float)
new_esEs33(x0, x1, ty_Bool)
new_lt23(x0, x1, ty_Integer)
new_lt15(x0, x1)
new_lt13(x0, x1, ty_Double)
new_esEs6(x0, x1, app(ty_Maybe, x2))
new_compare26(x0, x1, False, x2, x3)
new_ltEs6(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_lt20(x0, x1, app(ty_[], x2))
new_lt21(x0, x1, ty_Double)
new_esEs34(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs5(x0, x1, ty_Integer)
new_ltEs20(x0, x1, ty_Float)
new_esEs34(x0, x1, app(app(ty_@2, x2), x3))
new_lt22(x0, x1, app(app(ty_Either, x2), x3))
new_primCmpNat0(Succ(x0), Zero)
new_ltEs6(Right(x0), Right(x1), x2, ty_Bool)
new_esEs33(x0, x1, ty_Char)
new_ltEs6(Right(x0), Right(x1), x2, ty_Integer)
new_esEs23(GT, GT)
new_esEs13(:%(x0, x1), :%(x2, x3), x4)
new_esEs40(x0, x1, app(app(ty_@2, x2), x3))
new_esEs8(x0, x1, ty_Double)
new_esEs10(x0, x1, ty_Bool)
new_esEs22(Double(x0, x1), Double(x2, x3))
new_esEs35(x0, x1, app(app(ty_Either, x2), x3))
new_esEs7(x0, x1, app(app(ty_@2, x2), x3))
new_primCmpInt(Pos(Succ(x0)), Pos(x1))
new_ltEs23(x0, x1, ty_Integer)
new_ltEs14(x0, x1)
new_esEs32(x0, x1, ty_@0)
new_esEs32(x0, x1, ty_Float)
new_lt4(x0, x1)
new_compare113(x0, x1, x2, x3, x4, x5, True, x6, x7, x8, x9)
new_esEs24(Just(x0), Just(x1), ty_Char)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: